rrampage / wart
A simple Web Assembly Interpreter
☆16Updated 11 months ago
Alternatives and similar repositories for wart:
Users that are interested in wart are comparing it to the libraries listed below
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- A bare-metal actor operating system for Raspberry Pi.☆68Updated last year
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated last year
- ☆22Updated 6 months ago
- ☆50Updated 9 months ago
- Demo of a WAM Prolog implementation in Python☆77Updated last year
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆95Updated 4 years ago
- the origins of J☆62Updated last year
- A small language that compiles to WebAssembly Text format☆74Updated 10 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 5 months ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated 9 months ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated 10 months ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- ☆11Updated 7 years ago
- Compute aesthetically.☆79Updated this week
- Persistence of concurrent activities for Gerbil Scheme☆50Updated 4 months ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- ANIL(A Nice Intermediate Language) Python & C++ inspired programming language that transpiles to C and can be embedded within C source fi…☆54Updated this week
- Plot Cookbook☆50Updated 2 years ago
- PostgreSQL Prolog language handler☆131Updated 11 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆82Updated 4 years ago
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆119Updated 3 weeks ago
- A minimal stack based programming language☆32Updated 10 months ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- Collaborative Lisp coding on Discord☆34Updated last year