Alternatives and similar repositories for cps:

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

• samueldurantes / haildo
  Toy programming language
  ☆19Updated 11 months ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 2 months ago
• takanuva / coc
  Calculus of Constructions
  ☆17Updated 5 years ago
• bobatkey / sott
  Simplified Observational Type Theory
  ☆81Updated last year
• rafaelcgs10 / W-in-Coq
  This is a Coq formalization of Damas-Milner type system and its algorithm W.
  ☆29Updated 4 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• arielsilveira / ModalLibrary
  Modal Logic Library in Coq
  ☆15Updated 2 years ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆106Updated 10 years ago
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆62Updated 3 years ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆77Updated 11 years ago
• jaspervdj / uplcg
  Untitled PL Card Game
  ☆20Updated 4 years ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆50Updated 6 months ago
• Lysxia / system-F
  Formalization of the polymorphic lambda calculus and its parametricity theorem
  ☆34Updated last month
• pedrotst / coquedille
  A Coq to Cedille compiler written in Coq
  ☆33Updated 4 years ago
• Firobe / nes-ml
  NES emulator in OCaml
  ☆38Updated last year
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆27Updated 6 months ago
• arthuraa / deriving
  Class instances for Coq inductive types with little boilerplate
  ☆24Updated this week
• frex-project / idris-frex
  ☆47Updated 4 months ago
• thiagofelicissimo / BiTTs
  ☆24Updated 7 months ago
• AndrasKovacs / normalization-bench
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆56Updated 4 years ago
• favonia / hdtt2020-notes
  ☆36Updated 3 years ago
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆71Updated 5 years ago
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 6 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆71Updated 4 months ago
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 6 years ago
• xnning / EvEff
  Efficient Haskell effect handlers based on evidence translation.
  ☆82Updated 3 years ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 4 months ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆44Updated 2 years ago