JeffreyBenjaminBrown / hodeLinks
rslt, take five-ish
☆151Updated 4 years ago
Alternatives and similar repositories for hode
Users that are interested in hode are comparing it to the libraries listed below
Sorting:
- ☆64Updated 7 years ago
- Domain Specific Languages for Computational Law☆79Updated 7 months ago
- Generate semi-dynamic UIs with Concur☆58Updated 5 years ago
- A typed, polyglot, functional language☆211Updated last week
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 4 years ago
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- A distributed note taker and task manager.☆201Updated 4 months ago
- Jupyter notebooks☆58Updated 2 months ago
- a datalog interpreter in typescript☆214Updated last year
- ☆104Updated 3 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated last week
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- Categorical Query Language IDE☆322Updated last month
- ☆37Updated 2 years ago
- The Art of the Propagator. See also:☆179Updated last year
- A modern tool for literate programming☆277Updated 8 years ago
- Render hierarchical git repositories into HTML☆74Updated last year
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- All the Transient libraries☆44Updated last week
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 6 years ago
- Semantic Synchrony. An experiment in cognitive and sensory augmentation.☆184Updated last month
- A relational interpretation of Lojban☆36Updated 6 months ago
- A simple expressions language with polymorphic extensible row types.☆305Updated 2 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆42Updated 2 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 6 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆274Updated 12 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆86Updated this week
- Hash-based Diffing for AST's☆77Updated 5 years ago
- A graphical interactive proof assistant designed for education☆171Updated last year
- A Typed, Composable Database Query Language☆104Updated 4 years ago