JeffreyBenjaminBrown / hode
rslt, take five-ish
☆149Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for hode
- ☆66Updated 6 years ago
- ☆96Updated 2 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 3 years ago
- Domain Specific Languages for Computational Law☆67Updated 3 weeks ago
- tool for creating and sharing annotations, using github for storage and social network☆87Updated 2 years ago
- ☆37Updated last year
- Awelon project is a new UI model with a new language.☆101Updated 9 years ago
- A typed, polyglot, functional language☆195Updated this week
- A relational interpretation of Lojban☆32Updated last week
- Catalog of visual lambda calculi☆97Updated last year
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- Leibniz - a Digital Scientific Notation☆34Updated 2 months ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆54Updated 6 years ago
- A fluid medium for storing, relating, and surfacing thoughts.☆130Updated 2 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- Semantic Synchrony. An experiment in cognitive and sensory augmentation.☆179Updated 2 months ago
- a datalog interpreter in typescript☆208Updated last month
- bi-directional tangle daemon for literate programming☆87Updated last year
- Pointless: a scripting language for learning and fun☆122Updated 4 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆14Updated 9 months ago
- Collaboration for reinventing software in human terms☆171Updated 6 years ago
- Hash-based Diffing for AST's☆75Updated 4 years ago
- Cell compiler☆114Updated last year
- Haskell In New Clothes☆111Updated 4 years ago
- Natural Language Datalog☆127Updated 6 years ago
- The Art of the Propagator. See also:☆170Updated 7 months ago
- create Anki decks from Slack teams' profile photos and names☆22Updated 6 years ago
- Fork of Lua 5.1 to encourage end-user programming☆165Updated 11 months ago