JeffreyBenjaminBrown / hode
rslt, take five-ish
☆150Updated 3 years ago
Alternatives and similar repositories for hode:
Users that are interested in hode are comparing it to the libraries listed below
- ☆65Updated 6 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- ☆99Updated 3 years ago
- A distributed note taker and task manager.☆195Updated 9 months ago
- Domain Specific Languages for Computational Law☆71Updated last month
- A typed, polyglot, functional language☆196Updated last week
- Awelon project is a new UI model with a new language.☆103Updated 9 years ago
- A graphical interactive proof assistant designed for education☆166Updated 4 months ago
- ☆36Updated last year
- Categorical Query Language IDE☆303Updated last week
- A simple expressions language with polymorphic extensible row types.☆302Updated last year
- tool for creating and sharing annotations, using github for storage and social network☆89Updated 3 years ago
- Hash-based Diffing for AST's☆76Updated 4 years ago
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- Repo to track the evolution of notation in arts and sciences☆138Updated 2 years ago
- A relational interpretation of Lojban☆33Updated last month
- a datalog interpreter in typescript☆209Updated 2 months ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- CQL: Categorical Query Language implementation in Haskell☆168Updated last year
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Jupyter notebooks☆58Updated 3 months ago
- CrossLine is an outliner with sophisticated cross-link capabilities in the tradition of the well-respected Ecco Pro☆162Updated last year
- Stroll: an experimental build system☆40Updated last year
- The Art of the Propagator. See also:☆172Updated 11 months ago
- repository to work on future of coding weekly newsletter☆32Updated this week
- 🐢An incubator for a Zettlekasten Tool☆57Updated 3 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 3 years ago
- A continuation-based backtracking logic programming monad☆86Updated 4 months ago
- A fluid medium for storing, relating, and surfacing thoughts.☆131Updated 2 years ago
- Catalog of visual lambda calculi☆109Updated last year