Alternatives and similar repositories for free-agent

Users that are interested in free-agent are comparing it to the libraries listed below

• vmchale / dickinson
  Text generation language
  ☆34Updated 3 months ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆85Updated 8 months ago
• zehaochen19 / vanilla-lang
  An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
  ☆90Updated 2 years ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 3 years ago
• MarcusRainbow / Haxcel
  Excel Addin for Haskell
  ☆37Updated 3 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆65Updated 5 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆33Updated 11 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆16Updated 6 years ago
• jkoppel / ecta
  ☆37Updated last year
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 10 months ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆55Updated 8 years ago
• dsorokin / aivika
  A multi-method simulation library
  ☆81Updated last year
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆29Updated last month
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 5 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆44Updated 6 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆216Updated 2 years ago
• epogrebnyak / haskell-intro
  Seven classes on Haskell and a follow-up reading list
  ☆56Updated last year
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 7 years ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆62Updated 3 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 3 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆18Updated last month
• agda-attic / agda-frp-js
  ECMAScript back end for Functional Reactive Programming in Agda
  ☆103Updated 8 years ago