Alternatives and similar repositories for hode

Users that are interested in hode are comparing it to the libraries listed below

• pkamenarsky / concur-static
  Generate semi-dynamic UIs with Concur
  ☆58Updated 4 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated 3 weeks ago
• JeffreyBenjaminBrown / digraphs-with-text
  ☆65Updated 6 years ago
• JonathanMEdwards / subtext10
  ☆100Updated 3 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆210Updated 5 months ago
• ff-notes / ff
  A distributed note taker and task manager.
  ☆197Updated last week
• willtim / Expresso
  A simple expressions language with polymorphic extensible row types.
  ☆302Updated 2 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆76Updated 4 months ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆90Updated 3 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• entangled / entangled
  bi-directional tangle daemon for literate programming
  ☆91Updated 2 years ago
• dfithian / chez-grater
  ☆37Updated last year
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 3 years ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 6 months ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆103Updated 9 years ago
• malleable-systems / malleable.systems
  Website for the malleable systems and software community
  ☆60Updated 2 months ago
• complyue / ooh
  PoC for Object Oriented Haskell
  ☆21Updated 5 years ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆304Updated last month
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆40Updated 2 months ago
• akkartik / teliva
  Fork of Lua 5.1 to encourage end-user programming
  ☆170Updated last year
• Bodigrim / logict
  A continuation-based backtracking logic programming monad
  ☆91Updated 7 months ago
• cell-lang / compiler
  Cell compiler
  ☆114Updated last year
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 7 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated this week
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆400Updated 3 years ago
• AmpersandTarski / Ampersand
  This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …
  ☆43Updated this week
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆83Updated 2 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated last year