All gists

capitalex's Avatar

capitalex / rewriting.modal

0 likes
0 forks
2 files
Last active 1 year ago
1 <> (tally ?value (Bag ?list)) ((Bag tallying| tallying> ?value ?list))
2
3 <> (tallying> ?value ())
4 (<tallying ((Entry ?value 1) ()))
5
6 <> (tallying> ?value ((Entry ?value ?count) ?rest))
7 (<tallying ((Entry ?value @add ?count 1) ?rest))
8
9 <> (tallying> ?value (?entry ?rest))
10 ((?entry tallying> ?value ?rest))
capitalex's Avatar

capitalex / bag.formal

0 likes
0 forks
3 files
Last active 1 year ago
1 <> (tally ?value (Bag ?list)) ((Bag tallying| tallying> ?value ?list))
2
3 <> (tallying> ?value ())
4 (<tallying ((Entry ?value 1) ()))
5
6 <> (tallying> ?value ((Entry ?value ?count) ?rest))
7 (<tallying ((Entry ?value @add ?count 1) ?rest))
8
9 <> (tallying> ?value (?entry ?rest))
10 ((?entry tallying> ?value ?rest))
capitalex's Avatar

capitalex / fib.formal

0 likes
0 forks
2 files
Last active 1 year ago
1 <> (defer ?x) (?x)
2
3 <> ((Num 0) + (Num ?n)) ((Num ?n))
4 <> ((Num ?n) + (Num 0)) ((Num ?n))
5 <> ((Num ?x) + (Num ?y)) ((Num @add ?x ?y))
6
7 <> (fib (Num 0)) ((Num 0))
8 <> (fib (Num 1)) ((Num 1))
9 <> (fib (Num ?n)) (defer fib (Num @sub ?n 1) + defer fib (Num @sub ?n 2))
june's Avatar

june / Word tracker.

0 likes
0 forks
2 files
Last active 1 year ago
A small word-tracking program written by someone unfamiliar with programming.
1 |-----------------------------------------|
2 |--| Word counts. |-|
3 |-----------------------------------------|
4 | 1 word | words , ,
5 | 2 words | 1 word , 1 word ,
6 | 3 words | 2 words , 1 word ,
7 | 4 words | 2 words , 2 words ,
8 | 5 words | 3 words , 2 words ,
9 | 6 words | 3 words , 3 words ,
10 | 7 words | 6 words , 1 word ,
june's Avatar

june / Minimums for a single frame.

0 likes
0 forks
1 files
Last active 1 year ago
1 Minimums:
2 1:
3 1: 1
4 2: 1
5 @pen-down: 2
6 @pen-draw: 105
7 @pen-right: 1
8 @pen-start: 4
9 @pen-stop: 10
10 @pen-up: 3
june's Avatar

june / Compilation.

0 likes
0 forks
1 files
Last active 1 year ago
1 [linear@construct parser]$ ../compiler.py constants.nv movement.nv input.nv equality.nv whitespace.nv main.nv > parser.c
2 [linear@construct parser]$ gcc -O3 parser.c -o parser
3 [linear@construct parser]$ cat lingo.nv
4 || self, sad, other, other, water, eye
5 ,, creature, garden, reason, destruction
6 ,, see, then
7
8 || self, sad, other, other, water, eye
9 ,, mo, see, then
june's Avatar

june / pen.nv

0 likes
0 forks
1 files
Last active 1 year ago
1 |#| start exhaustive
2 |u | up
3 |d | down
4 |l | left
5 |r | right
6 |f | forward
7 |tl | turn left
8 |tr | turn right
9 |uu | u,u
10 |dd | d,d
june's Avatar

june / parser.nv

0 likes
0 forks
1 files
Last active 1 year ago
1 |================================|
2 |==| Constants. |==|
3 |================================|
4
5 |-----------------------|
6 | r0 <- 0, r0 | r0 <- 0 ,
7 | r0 <- 0 | ,
8 |-----------------------|
9
10 |-----------------------|
sierra's Avatar

sierra / squiral.nv

0 likes
0 forks
1 files
Last active 1 year ago
1 .put pixel. pixel x, pixel y, set pixel
2
3 .pixel x, x. @pixel-x, temp, pixel x
4 .pixel x. x back
5 .x back, temp. x, x back
6 .x back.
7
8 .pixel y, y. @pixel-y, temp, pixel y
9 .pixel y. y back
10 .y back, temp. y, y back
sierra's Avatar

sierra / hello-world.nv

0 likes
0 forks
1 files
Last active 1 year ago
1 . put pixel . get pen x, get pen y, set pixel
2
3 . get pen x, pen x . @pixel-x, temp, get pen x
4 . get pen x . restore pen x
5 . restore pen x, temp . pen x, restore pen x
6 . restore pen x .
7
8 . get pen y, pen y . @pixel-y, temp, get pen y
9 . get pen y . restore pen y
10 . restore pen y, temp . pen y, restore pen y
Newer Older

Powered by Opengist ⋅ Load: 188ms⋅

English