所有 Gists

june's Avatar

june / Driver Assistance

0 喜欢
0 派生
1 文件
最后活跃于 2 days 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 喜欢
0 派生
1 文件
最后活跃于 4 days 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 喜欢
0 派生
1 文件
最后活跃于 4 days 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 喜欢
0 派生
1 文件
最后活跃于 4 days 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 喜欢
0 派生
1 文件
最后活跃于 5 days 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 喜欢
0 派生
1 文件
最后活跃于 1 week 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)
june's Avatar

june / Parser (Skeleton)

0 喜欢
0 派生
1 文件
最后活跃于 1 week ago
The skeleton of a symbol stream parser.
1 > "State:" Pending
2 "Symbols:" 0
3 > "State:" Fact
4
5 > "State:" Pending
6 "Symbols:" $any
7 > "State:" Left
8
9 > "State:" Left
10 "Symbols:" 0
yumaikas's Avatar

yumaikas / StackTalk

0 喜欢
0 派生
1 文件
最后活跃于 2 weeks ago
A language to surpass Io
1 title[ StackTalk ]
2
3 "Stack Basics" note[
4
5 An object is a collection of named stacks
6 A quotation is a malleable list of code symbols, delimited by [ and ]
7 Strings can be written two ways:
8
9 "This is a conventional string"
10 this-is-a-symbol-string:
june's Avatar

june / slab.nv

0 喜欢
0 派生
1 文件
最后活跃于 2 weeks ago
1 || :@include: lib/math.nv
2
3 || :entity.slab.id: 1
4 :entity.slab.free: (1 2 3 4 5)
5 :entity.slab.pool:
6 . 1 0 0 0
7 . 2 0 0 0
8 . 3 0 0 0
9 . 4 0 0 0
10 . 5 0 0 0
june's Avatar

june / A basic for-each/fold pattern.

0 喜欢
0 派生
1 文件
最后活跃于 3 weeks ago
1 ||:@include: lib/rpn.nv
2
3 |:: push $x to $y|
4 :stacks: $y $x
5 |:: pop from $x :stacks: $x $y|
6 :item: $y
7 |:: pop from $x? :stacks: $y $z|
8 :seen: $y $z
9 |:: pop from $x|
10 :stack empty: $x
上一页 下一页

由 Opengist 强力驱动 ⋅ Load: 173ms⋅

中文