Alternatives and similar repositories for mulang

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

• tadp-utn-frba / tadp-clases
  Clases de la materia de Técnicas Avanzadas de Programación
  ☆20Updated 2 months ago
• dhil / phd-dissertation
  A summary of my activities during the past four years
  ☆29Updated 10 months ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated last month
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 5 months ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• frex-project / idris-frex
  ☆48Updated 2 months ago
• pbv / haskelite
  Re-implementation of a minimal interpreter for a subset of Haskell
  ☆36Updated 2 months ago
• Simspace / avaleryar
  A logical authorization system
  ☆51Updated 3 years ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆21Updated last month
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆81Updated last year
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated last year
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆150Updated 2 weeks ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated 2 weeks ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• uqbar-project / wollok-ts
  TypeScript based Wollok language implementation
  ☆21Updated last month
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆30Updated 5 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 6 months ago
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆45Updated 2 years ago
• purescript / registry
  Registry of PureScript packages and metadata about them
  ☆48Updated last week
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 4 years ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆37Updated 2 years ago
• glebec / left-recursion
  Quick explanation of eliminating left recursion in Haskell parsers
  ☆51Updated 3 years ago
• haskellfoundation / haskellfoundation.github.io
  The Haskell Foundation website, hosted by GitHub Pages.
  ☆41Updated last week
• fpcastle / fpcastle.github.io
  A representative FP Castle
  ☆18Updated 3 weeks ago
• ekmett / parsnip
  ☆18Updated 4 years ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated this week
• input-output-hk / io-sim
  Haskell's IO simulator which closely follows core packages (base, async, stm).
  ☆42Updated this week
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago