luna / luna-book
☆16Updated this week
Related projects: ⓘ
- ☆34Updated this week
- TypeDB (Core and Cluster) RPC Communication Protocol☆16Updated this week
- Try it! https://comby.live☆10Updated last year
- Riffs on spreadsheets for manipulating JSON and building GUIs☆16Updated 4 years ago
- set of utilities helping me build and navigate my personal flat-file markdown wiki☆16Updated 4 years ago
- Trealla Prolog for the web☆38Updated last week
- ☆15Updated 6 months ago
- 📦 A package manager based on Nix☆20Updated 4 months ago
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆49Updated 5 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 3 years ago
- Various examples of functionality in Eve and how to build apps.☆14Updated 7 years ago
- Awesome datalog libraries, tools and resources☆56Updated 4 years ago
- Catalogue on the nature and bounds of thought☆27Updated last year
- Generate semi-dynamic UIs with Concur☆58Updated 3 years ago
- Shared design system and core components for Unison Local and Unison Share☆21Updated 2 weeks ago
- repository to work on future of coding weekly newsletter☆32Updated this week
- An opinionated OTP framework wrapper☆25Updated 3 months ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆21Updated last year
- ☆16Updated 5 years ago
- calculang is a language for calculations 🧮💬👩💻☆44Updated 3 weeks ago
- Hierarchical computation graphs; details at☆19Updated 8 years ago
- A database for convergent intersubjectivity☆21Updated last year
- A short guide detailing how to bootstrap PureScript.☆26Updated 5 years ago
- A scrapbook for Haskell developers☆16Updated 14 years ago
- Experiment to compile something Elm-ish to Wasm☆17Updated 6 years ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- ☆17Updated this week
- A projectional editor for JSON DSLs☆24Updated 5 months ago
- an edge database☆25Updated last month
- A Datalog-style database that enables programmers to represent facts using natural language☆51Updated last year