jmatsushita / purescript-chronofold
WIP: Chronofold data structure in Purescript
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for purescript-chronofold
- Run erlang as a WASI http server (vapourware)☆26Updated last week
- Automatically generated text for brainstorming/mindmapping purposes.☆26Updated last year
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- ☆41Updated last year
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆36Updated this week
- Social timeboxing for IRC channels☆17Updated 2 months ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- A simple example of how you can do MJPEG in Elixir☆38Updated 4 years ago
- Riak is a decentralized datastore from Basho Technologies.☆96Updated this week
- ZSV Utility for converting json to/from zip-separated-values☆58Updated 5 months ago
- The Divine Companions Monorepo☆16Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- A small language that compiles to WebAssembly Text format☆74Updated 6 months ago
- Everyting you need to know about Aquila Network Neural Search Ecosystem. Official repositories, client libraries, ecosystem projects, boi…☆32Updated 3 years ago
- Scale to zero Seafowl hosting with Cloud Run☆39Updated last year
- Basic schema inference for arbitrary JavaScript data objects☆34Updated 2 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- ☆64Updated 3 years ago
- A headless spreadsheet document container service.☆106Updated last week
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆76Updated 4 years ago
- A database for convergent intersubjectivity☆21Updated 2 years ago
- Tools for writing in a foreign language☆53Updated 2 years ago
- Technical blogs around data collaboration, data management, and building collaborative applications.☆44Updated last year
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 8 years ago
- Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…☆84Updated this week
- Convert SQL to most human readable format☆56Updated 3 years ago
- A note-keeping web app based on Fossil SCM☆65Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year