Alternatives and similar repositories for lafont:

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

• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆20Updated 5 months ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆13Updated 3 years ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• tensor-fusion / GPT-Haskell
  A pure Haskell implementation of a decoder-only transformer (GPT)
  ☆18Updated 6 months ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 6 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• jyp / topics
  Various interesting topics I'm looking at
  ☆13Updated 15 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆21Updated last year
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 6 years ago
• leanprover / super
  Superposition prover
  ☆17Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆30Updated 7 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 4 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆15Updated 2 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆12Updated 4 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated this week
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆19Updated 2 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 7 months ago
• namin / higher-rank
  Practical type inference for arbitrary-rank types
  ☆10Updated 5 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 6 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆24Updated this week