JeffreyBenjaminBrown / hodeLinks
rslt, take five-ish
☆149Updated 3 years ago
Alternatives and similar repositories for hode
Users that are interested in hode are comparing it to the libraries listed below
Sorting:
- ☆65Updated 6 years ago
- A simple expressions language with polymorphic extensible row types.☆302Updated 2 years ago
- A typed, polyglot, functional language☆196Updated 2 weeks ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- A distributed note taker and task manager.☆196Updated last week
- The Art of the Propagator. See also:☆174Updated last year
- ☆100Updated 3 years ago
- Awelon project is a new UI model with a new language.☆103Updated 9 years ago
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- Domain Specific Languages for Computational Law☆74Updated 3 months ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 3 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- Simply Reactive! Declarative orchestration in Haskell using RDP☆272Updated 12 years ago
- A relational interpretation of Lojban☆33Updated 4 months ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- Jupyter notebooks☆58Updated 6 months ago
- ☆37Updated last year
- All the Transient libraries☆40Updated last month
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- CQL: Categorical Query Language implementation in Haskell☆171Updated 2 years ago
- Haskell In New Clothes☆110Updated 4 years ago
- A modern tool for literate programming☆275Updated 8 years ago
- Noether programming language☆127Updated 8 years ago
- Categorical Query Language IDE☆305Updated last week
- bi-directional tangle daemon for literate programming☆88Updated 2 years ago
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- Fragment-based code distribution!☆126Updated 4 years ago
- A remote virtual DOM library for Haskell☆141Updated 6 months ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago