Alternatives and similar repositories for functional-structures

Users that are interested in functional-structures are comparing it to the libraries listed below

• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 7 years ago
• aripiprazole / soft
  🧪 | Lisp with REPL and macros which will compile itself
  ☆13Updated 6 months ago
• noge-labs / kind2lisp
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆10Updated 2 years ago
• samueldurantes / haildo
  Toy programming language
  ☆19Updated last year
• EduardoRFS / f-omega
  ☆12Updated 2 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆36Updated last week
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• lffg / compressing
  Basic (and naive) LZW and Huffman compression algorithms in Rust.
  ☆11Updated 2 years ago
• algebraic-dev / nuko
  🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.
  ☆15Updated 2 years ago
• nixosbrasil / nixosbrasil
  ☆25Updated 2 years ago
• VictorTaelin / Taelang
  my personal lang
  ☆16Updated last year
• namin / higher-rank
  Practical type inference for arbitrary-rank types
  ☆11Updated 6 years ago
• HigherOrderCO / kindbook
  ☆50Updated 5 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• EduardoRFS / thing
  A programming language, aka a THING
  ☆10Updated 4 years ago
• rocq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆41Updated this week
• lawrencecpaulson / lawrencecpaulson.github.io
  the blog "Machine Logic"
  ☆19Updated last week
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆27Updated last month
• jonsterling / math
  A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
  ☆52Updated 2 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆36Updated 8 months ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 4 months ago
• celsobonutti / milho
  The Haskell implementation of the Milho programming language.
  ☆29Updated last year
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆61Updated last month
• liyishuai / coq-http
  HTTP specification in Coq, testable and verifiable
  ☆16Updated last year
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆12Updated 5 months ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆50Updated 8 months ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• miguel-nascimento / brainfuck-hs
  A brainfuck interpreter in Haskell. Rewrite of tsfuck
  ☆11Updated 3 years ago