evaporei / hispLinks
π΅ A lisp REPL interpreter made in Haskell
β24Updated 6 years ago
Alternatives and similar repositories for hisp
Users that are interested in hisp are comparing it to the libraries listed below
Sorting:
- SoluΓ§Γ΅es dos problems do adventofcode.comβ13Updated 4 years ago
- VimL lisp evaluatorβ10Updated 4 years ago
- Agda libraries relevant to Moonadβ14Updated 6 years ago
- a small one-file lisp implemented in kind2, intentionally incompleteβ10Updated 2 years ago
- A simple example of integrating TypeScript and Haskell.β13Updated 4 years ago
- Wrap promises, never use .catch againβ25Updated 2 years ago
- A Haskell implementation of the Formality languageβ18Updated 5 years ago
- A declarative toy language inspired on set comprehensions.β18Updated 6 years ago
- A TOML parser for Idris 2β16Updated last year
- The Haskell implementation of the Milho programming language.β29Updated 2 years ago
- Toy todo-list serviceβ15Updated 5 years ago
- β36Updated 3 years ago
- β23Updated 7 years ago
- Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queriesβ21Updated 9 months ago
- Toy programming languageβ20Updated last year
- Emoj is a modern, concatenative language for the browser. (april's fool project)β19Updated 6 years ago
- Presentations on Liquid Haskell, type theory, and moreβ45Updated 11 months ago
- Package manager for Idrisβ37Updated 3 years ago
- Tool to help discover ingredient effects in Skyrimβ13Updated 3 years ago
- π¨βπ« Educational purpose virtual machine to assembly Neander and Neander+β16Updated 6 years ago
- Skeleton app with contrived client/server examplesβ20Updated 2 years ago
- Thoughts and stuffβ70Updated 5 years ago
- πβ¨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)β20Updated 3 years ago
- β35Updated 6 years ago
- Lens combinators for fused-effects.β17Updated 4 years ago
- algebraic typechecking and elaboration of type systemsβ13Updated 8 months ago
- Write yourself a typed functional languageβ65Updated 7 years ago
- The Effect monad, for handling native side effectsβ52Updated 3 years ago
- A small, "full-stack" Purescript "video tracker" for me to track what shows I've watched locallyβ72Updated 5 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.β14Updated 4 years ago