GavinMendelGleason / many_worlds
A description of the relationship between databases, collaboration and Kripke
☆27Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for many_worlds
- visual bloom filter to display process status as neotrellis m4 output☆27Updated 6 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- Automatically generated text for brainstorming/mindmapping purposes.☆26Updated last year
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 2 years ago
- WIP; specification of a format for communicating streams of HTTP requests and responses☆14Updated 7 months ago
- Brzozowski derivative python sketch☆83Updated 7 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆75Updated 4 years ago
- Technical blogs around data collaboration, data management, and building collaborative applications.☆44Updated last year
- ISBL - Information Systems Base Language☆18Updated 10 years ago
- A dot matrix rendered using braille characters.☆26Updated 3 years ago
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆57Updated 6 months ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- ZSV Utility for converting json to/from zip-separated-values☆58Updated 5 months ago
- Zig library for HyperLogLog estimation☆86Updated 4 months ago
- A bare-metal actor operating system for Raspberry Pi.☆69Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆91Updated 7 months ago
- A small language that compiles to WebAssembly Text format☆74Updated 6 months ago
- Run erlang as a WASI http server (vapourware)☆26Updated last week
- Git worktree navigator☆27Updated 9 months ago
- Literate testing for command-line programs☆39Updated 10 months ago
- Beating the `bisect` module's implementation using C-extensions.☆30Updated last year
- Trealla Prolog embedded in Go using WASM☆79Updated last week
- Social timeboxing for IRC channels☆17Updated 2 months ago
- Gliimly is a new programming language and framework for writing high-performance web services and web applications, with focus on simplic…☆30Updated this week
- An interpreter of subset of Python in Go☆49Updated last year
- Macro-based string templating.☆20Updated 2 months ago
- Encoder and decoder for the Base24 encoding☆21Updated 3 years ago
- abuse ImageMagick (or GraphicsMagick) to create arbitrary files☆53Updated last week