mumuki / mulangLinks
Universal, Multi Language, Multi Paradigm code analyzer
☆125Updated 4 months ago
Alternatives and similar repositories for mulang
Users that are interested in mulang are comparing it to the libraries listed below
Sorting:
- Haskell monad transformer for weighted, non-deterministic computation☆31Updated 11 months ago
- Monomorphize polymorphic functions for testing☆36Updated 8 years ago
- Graphviz code generation with Haskell☆18Updated 2 years ago
- Call and consume GraphQL APIs with type safe queries and responses☆24Updated 6 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 10 months ago
- A Haskell front-end framework☆40Updated 5 years ago
- Clases de la materia de Técnicas Avanzadas de Programación☆23Updated 2 months ago
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆18Updated 4 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- An experimental Haskell library for programming with effectful runners.☆30Updated 6 years ago
- APIs for more recursive definitions☆19Updated last year
- Chapelure is a diagnostic library for Haskell☆46Updated 2 years ago
- A pure type system implemented in OCaml☆78Updated 5 years ago
- A representative FP Castle☆19Updated 5 months ago
- Codd is a simple-to-use CLI tool that applies plain postgres SQL migrations atomically with strong and automatic cross-environment schema…☆43Updated 4 months ago
- 🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list☆27Updated 2 years ago
- A syntax for unions of constraints in Haskell☆70Updated 8 years ago
- Haskell QuasiQuoter for String Formatting☆70Updated last week
- A pleasant PostgreSQL database layer for Haskell☆42Updated 3 weeks ago
- A summary of my activities during the past four years☆31Updated 3 weeks ago
- Fast equality saturation in Haskell☆92Updated 3 weeks ago
- high-powered optics in a small package☆53Updated 3 months ago
- A logical authorization system☆51Updated 3 years ago
- small programming language. pls be gentle.☆39Updated 3 weeks ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- GHC language extensions table☆49Updated 5 months ago
- a functional programming language with algebraic effects and handlers☆82Updated 10 months ago
- ☆16Updated 2 years ago
- ☆17Updated 2 years ago
- Using cabal-install as SAT solver☆13Updated 2 years ago