june / Simplest Nova (C++)
0 likes
0 forks
1 files
Last active 3 months ago
The simplest Nova implementation I've got (so far) in C++.
| 1 | enum snv_state { |
| 2 | // Primary states. |
| 3 | INSERT, MATCH, REMOVE, |
| 4 | // Secondary states. |
| 5 | FETCH, LITERAL, VARIABLE |
| 6 | }; |
| 7 | |
| 8 | template<uint32_t size> |
| 9 | struct snv_stack { |
| 10 | uint32_t data[size] = {}; |
june / Simplest Nova
0 likes
0 forks
2 files
Last active 3 months ago
The simplest Nova implementation I've got (so far).
| 1 | #!/usr/bin/env python3 |
| 2 | |
| 3 | import sys |
| 4 | from enum import Enum |
| 5 | |
| 6 | class State(Enum): |
| 7 | # States |
| 8 | INSERT = 0 |
| 9 | MATCH = 1 |
| 10 | REMOVE = 2 |
june / Comparisons
0 likes
0 forks
1 files
Last active 4 months 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 |
june / Driver Assistance
0 likes
0 forks
1 files
Last active 2 months ago
A model of a driver assistance function.
| 1 | |# Model based off of https://web.archive.org/web/20251026043806/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 / Fridge Simulation
0 likes
0 forks
1 files
Last active 4 months 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 |