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 6 years ago
• aripiprazole / soft
  🧪 | Lisp with REPL and macros which will compile itself
  ☆13Updated 5 months ago
• noge-labs / kind2lisp
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆10Updated 2 years ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• samueldurantes / haildo
  Toy programming language
  ☆19Updated 11 months ago
• lffg / compressing
  Basic (and naive) LZW and Huffman compression algorithms in Rust.
  ☆11Updated last year
• nixosbrasil / nixosbrasil
  ☆25Updated 2 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated 2 weeks ago
• VictorTaelin / Taelang
  my personal lang
  ☆16Updated last year
• 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
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆12Updated 3 months ago
• namin / higher-rank
  Practical type inference for arbitrary-rank types
  ☆11Updated 5 years ago
• dramforever / scratchix
  Linux From Scratch, but it's Nix
  ☆37Updated 3 years ago
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆23Updated last year
• rocq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆40Updated this week
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• EduardoRFS / f-omega
  ☆12Updated 2 years ago
• bellissimogiorno / nominal
  Haskell implementation of nominal datatypes and functions
  ☆43Updated 4 years ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 9 months ago
• dhilst / vlisp
  VimL lisp evaluator
  ☆10Updated 3 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• miguel-nascimento / brainfuck-hs
  A brainfuck interpreter in Haskell. Rewrite of tsfuck
  ☆11Updated 3 years ago
• EduardoRFS / thing
  A programming language, aka a THING
  ☆10Updated 4 years ago
• thery / hanoi
  Hanoi tower in Coq
  ☆26Updated 5 months ago
• HigherOrderCO / kindbook
  ☆47Updated 4 months ago
• EduardoRFS / ocaml-migrate-types
  Convert OCaml Types between different major versions
  ☆14Updated 2 years ago
• brendanzab / ocaml-flake-example
  An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
  ☆58Updated 6 months ago
• takanuva / coc
  Calculus of Constructions
  ☆17Updated 5 years ago