All gists

june's Avatar

june / Spell System

0 likes
0 forks
1 files
Last active 1 month ago
A small spell system.
1 ||:: write down a spell :spell name: fireball
2 :type: projectile
3 :element: fire
4 :effect: damage
5 :amount: 5
6 :: cast fireball on slime
7 :: cast haze on slime
8
9 |:: cast $spell|
10 :: look up the $spell spell
june's Avatar

june / Search

0 likes
0 forks
1 files
Last active 1 month ago
A somewhat optimized linear search algorithm for unordered collections.
1 ||:: insert :items: (1 2 foo 3 4)
2 :: search :for: (1 2 3 4 foo 1 2 3 4 bar)
3
4 ||:@include: lib/rpn.nv
5
6 |:: insert? :items: $x|
7 :front: $x
8 |:: insert|
9
10 |:: search? :for: $x|
june's Avatar

june / Comparisons

0 likes
0 forks
1 files
Last active 1 month ago
An extension to lib/rpn to support comparisons.
1 |:@rpn: < :@rpn data:($a $b)| ⁝ @js ⁝ f('@rpn data', ""+(Number($a) < Number($b)));
2 |:@rpn: > :@rpn data:($a $b)| ⁝ @js ⁝ f('@rpn data', ""+(Number($a) > Number($b)));
3 |:@rpn: == :@rpn data:($a $b)| ⁝ @js ⁝ f('@rpn data', ""+(Number($a) == Number($b)));
4
5 ||:@include: lib/rpn.nv
sierra's Avatar

sierra / wordle-baked

0 likes
0 forks
1 files
Last active 1 month ago
1 === RULES ===
2 CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(1, false), (2, false)] }, CookedFact { stack: 3, arity: 5, elements: [(4, false), (5, true), (6, true), (7, true), (8, true)] }], result: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (11, false), (11, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (5, false), (5, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (6, false), (6, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (7, false), (7, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (12, false), (12, true)] }, CookedFact { stack: 0, arity: 2, elements: [(13, false), (14, false)] }] }
3 CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(10, true)] }, CookedFact { stack: 17, arity: 1, elements: [(18, true)] }, CookedFact { stack: 19, arity: 1, elements: [(15, true)] }], result: [CookedFact { stack: 17, arity: 1, elements: [(20, false)] }, CookedFact { stack: 21, arity: 1, elements: [(10, true)] }, CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] }
4 CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(10, true)] }, CookedFact { stack: 17, arity: 1, elements: [(22, true)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 17, arity: 1, elements: [(23, false)] }, CookedFact { stack: 21, arity: 1, elements: [(10, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }] }
5 CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(24, true)] }, CookedFact { stack: 17, arity: 1, elements: [(23, false)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 21, arity: 1, elements: [(24, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 17, arity: 1, elements: [(23, false)] }] }
6 CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }, CookedFact { stack: 16, arity: 1, elements: [(24, true)] }, CookedFact { stack: 17, arity: 1, elements: [(22, true)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 17, arity: 1, elements: [(25, false)] }, CookedFact { stack: 21, arity: 1, elements: [(24, true)] }, CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }] }
7 CookedRule { condition: [CookedFact { stack: 0, arity: 4, elements: [(1, false), (10, false), (15, true), (10, true)] }], result: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] }
8 CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 21, arity: 1, elements: [(10, true)] }], result: [CookedFact { stack: 16, arity: 1, elements: [(10, true)] }, CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] }
9 CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 19, arity: 1, elements: [(18, true)] }], result: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] }
10 CookedRule { condition: [CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }, CookedFact { stack: 17, arity: 1, elements: [(22, true)] }], result: [CookedFact { stack: 26, arity: 1, elements: [(22, true)] }, CookedFact { stack: 0, arity: 2, elements: [(9, false), (10, false)] }] }
june's Avatar

june / Driver Assistance

0 likes
0 forks
1 files
Last active 1 month ago
A model of a driver assistance function.
1 |# Model based off of https://beza1e1.tuxen.de/tla-plus.html #|
2 |# Driving Assist #|
3 :author: "June Gardner"
4
5 |:state: off :seatbelt: unknown| :state: fault
6 |:state: off :sensors: broken | :state: fault
7 |:state: off :brakes: broken | :state: fault
8
9 |:state: off :seatbelt: off | :state: temporary fault
10 |:state: off :sensors: blind| :state: temporary fault
june's Avatar

june / Fridge Simulation

0 likes
0 forks
1 files
Last active 1 month ago
Putting groceries away in the fridge.
1 ||:@include: lib/rpn.nv
2
3 |:groceries: $item|
4 :: put $item in the fridge
5
6 |:: put $item in the fridge :fridge: $item $quantity?|
7 :: put $item in its bin
8 :: close all the bins
9 |:: put $item in the fridge? :fridge: $other $quantity|
10 :checked bins: $other $quantity
june's Avatar

june / Command Parser

0 likes
0 forks
1 files
Last active 1 month ago
A simple command parser.
1 |:: read a line? :@stdio: (10 $x)|
2 :@stdio: 10
3 :buffer: $x
4 |:: read a line :@stdio: 10|
5 |:: read a line?|
6 :@stdio: read
7
8 |:: print the buffer? :buffer: $x|
9 :@stdio: write $x
10 |:: print the buffer|
june's Avatar

june / Echo

0 likes
0 forks
1 files
Last active 1 month ago
Takes a line, prints a line.
1 |:: read a line? :@stdio: (10 $x)|
2 :@stdio: 10
3 :buffer: $x
4 |:: read a line :@stdio: 10|
5 |:: read a line?|
6 :@stdio: read
7
8 |:: print the buffer? :buffer: $x|
9 :@stdio: write $x
10 |:: print the buffer|
june's Avatar

june / Lists

0 likes
0 forks
1 files
Last active 1 month ago
An example of dynamic lists.
1 |:: $list @ $index = $value| :: set $list $index $value
2 |:: $list @ $index | :: get $list $index
3 |:: del $list @ $index | :: delete $list $index
4
5 |:: set $list $index $new :lists: $list $index $old|
6 :lists: $list $index $new
7 :: reset lists
8 |:: set $list $index $value? :lists: $x $y $z|
9 :checked items: $x $y $z
10 |:: set $list $index $value|
june's Avatar

june / Kitchen Simulation

0 likes
0 forks
1 files
Last active 1 month ago
An example of a kitchen that can take orders.
1 ||:@include: lib/rpn.nv
2
3 ||::(BLT for june and mary)
4 :vegan:
5
6 ||:pantry: (bread lettuce bacon tomato tempeh)
7 :menu: BLT
8
9 |:recipe: BLT|
10 :need: (bread lettuce tomato bacon)
Newer Older

Powered by Opengist ⋅ Load: 155ms⋅

日本語