jmatsushita / purescript-chronofold
WIP: Chronofold data structure in Purescript
☆10Updated 3 years ago
Alternatives and similar repositories for purescript-chronofold:
Users that are interested in purescript-chronofold are comparing it to the libraries listed below
- Run erlang as a WASI http server (vapourware)☆26Updated 3 months ago
- Automatically generated text for brainstorming/mindmapping purposes.☆25Updated last year
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆65Updated 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Multi-Array Queue program codes☆75Updated last month
- Social timeboxing for IRC channels☆17Updated 5 months ago
- Getting started, manuals and tutorials☆49Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated last year
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- A small language that compiles to WebAssembly Text format☆75Updated 9 months ago
- A Prolog library to connect to PostgreSQL databases☆97Updated 9 months ago
- ☆41Updated last year
- Performance tests for Automerge☆41Updated 4 months ago
- Archive of the forked repository - use the repo linked below☆114Updated 3 weeks ago
- Bidirectional AST manipulation prototypes☆39Updated 2 years ago
- Linguistic Antipatterns☆30Updated 2 years ago
- Basic schema inference for arbitrary JavaScript data objects☆34Updated 3 years ago
- A Spreadsheet Playground☆40Updated 4 months ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- ☆61Updated 4 months ago
- Encoder and decoder for the Base24 encoding☆21Updated 3 years ago
- abuse ImageMagick (or GraphicsMagick) to create arbitrary files☆53Updated this week
- Macro-based string templating.☆21Updated 5 months ago
- Blech is a language for developing reactive, real-time critical embedded software.☆65Updated last year
- A new declarative programming language☆23Updated 4 years ago
- WIP; specification of a format for communicating streams of HTTP requests and responses☆14Updated 10 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- Omnino is a windowing system for web applications.☆57Updated last year
- egg is a flexible, high-performance e-graph library☆11Updated 10 months ago
- The Coil Programming Language☆34Updated 11 months ago