mumuki / mulangLinks
Universal, Multi Language, Multi Paradigm code analyzer
☆127Updated last week
Alternatives and similar repositories for mulang
Users that are interested in mulang are comparing it to the libraries listed below
Sorting:
- ⚖️ Trial Data Type☆21Updated 2 months ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Registry of PureScript packages and metadata about them☆47Updated last week
- ☆14Updated 2 years ago
- small programming language. pls be gentle.☆39Updated 3 weeks ago
- Paper and talk☆54Updated 2 years ago
- An automatic declarative ASCIInema recorder☆46Updated 3 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- ☆16Updated 2 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 3 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- Purely functional map and set data structures☆36Updated 2 months ago
- IDE support for the functional logic programming language Curry☆31Updated 3 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 7 months ago
- Example language server (LSP) implementation for a toy language☆60Updated 4 years ago
- A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 7 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 6 months ago
- A logical authorization system☆51Updated 3 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆40Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- Call and consume GraphQL APIs with type safe queries and responses☆24Updated 2 months ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Updated 6 years ago
- A small programming language that compiles to Wasm GC☆17Updated 3 weeks ago
- Type-safe ORM for PureScript☆30Updated 2 years ago
- Dependently typed programming language written in Haskell☆22Updated 3 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated last year
- Benchmarking algebraic effect handler implementations☆26Updated 4 years ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆16Updated 5 years ago