samueldurantes / haildo
Toy programming language
โ19Updated 11 months ago
Alternatives and similar repositories for haildo:
Users that are interested in haildo are comparing it to the libraries listed below
- ๐ฎ | Is a programming language aimed at incorporating everything Iโd like to have in Haskell, except dependent types.โ15Updated 2 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]โ37Updated last week
- A programming language, aka a THINGโ10Updated 4 years ago
- ๐งช | Lisp with REPL and macros which will compile itselfโ13Updated 4 months ago
- Small lisp interpreter in Pythonโ9Updated 3 years ago
- A very small implementation of the Calculus of Constructions for experimentation purposesโ15Updated 6 years ago
- โ12Updated 2 years ago
- ๐ | IDE focused programming language studyโ34Updated last year
- โ48Updated 2 years ago
- VimL lisp evaluatorโ10Updated 3 years ago
- ๐ฆ Reusable components based on algebraic effectsโ50Updated 6 months ago
- Package manager for Idrisโ35Updated 2 years ago
- Prototype for https://github.com/Innf107/vegaโ19Updated 9 months ago
- NES emulator in OCamlโ38Updated last year
- Tornado is a BitTorrent client written entirely in OCaml.โ56Updated last year
- A simple (and unfinished!!) database management system.โ19Updated last year
- โ25Updated 3 years ago
- Fฯฮผ type checker and compilerโ54Updated 2 years ago
- OCaml supportโ17Updated 3 months ago
- โ22Updated last year
- algebraic typechecking and elaboration of type systemsโ12Updated 3 months ago
- ReScript bindings for the VS Code APIโ13Updated 2 months ago
- Playing with type systemsโ50Updated 3 months ago
- ๐ | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).โ47Updated 3 years ago
- โ23Updated 2 years ago
- โ13Updated last year
- OCaml plus Jane Street extensionsโ74Updated 9 months ago
- A TOML parser for Idris 2โ17Updated 9 months ago
- a small one-file lisp implemented in kind2, intentionally incompleteโ10Updated 2 years ago
- The Haskell implementation of the Milho programming language.โ29Updated last year