GavinMendelGleason / many_worldsLinks
A description of the relationship between databases, collaboration and Kripke
☆28Updated 3 years ago
Alternatives and similar repositories for many_worlds
Users that are interested in many_worlds are comparing it to the libraries listed below
Sorting:
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 2 years ago
- Brzozowski derivative python sketch☆85Updated 3 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆75Updated 2 years ago
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago
- ☆51Updated last year
- PostgreSQL Prolog language handler☆134Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.☆77Updated last year
- Technical blogs around data collaboration, data management, and building collaborative applications.☆46Updated 2 years ago
- A bibliography for protocol design☆39Updated 3 months ago
- ☆77Updated 7 months ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- A small language that compiles to WebAssembly Text format☆74Updated last year
- Trealla Prolog embedded in Go using WASM☆79Updated last month
- Zig library for HyperLogLog estimation☆89Updated last year
- Beating the `bisect` module's implementation using C-extensions.☆30Updated 2 years ago
- An application-centric, decentralised and distributed computing solution.☆1Updated 6 months ago
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆91Updated last year
- A simple Web Assembly Interpreter☆16Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆85Updated 5 years ago
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 10 months ago
- ☆58Updated 3 years ago
- 🐝 Wasp : Wasm programming language☆115Updated last week
- Small expect-like library, clone of http://git.annexia.org/?p=miniexpect.git;a=summary☆69Updated 2 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- Social timeboxing for IRC channels☆19Updated 10 months ago
- Typed Formats for Storing & Transferring Data & Code☆33Updated last week
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago