stepchowfun / cfg-checker

Related projects ⓘ

Alternatives and complementary repositories for cfg-checker

• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆38Updated 6 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆62Updated 10 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 3 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• wyager / HaSKI
  Cλash/Haskell FPGA-based SKI calculus evaluator
  ☆48Updated 8 years ago
• quietfanatic / neskell
  NES programming in Haskell? No way!
  ☆38Updated 8 years ago
• joom / type.systems
  joke page until I decide what to do with this domain name
  ☆34Updated 3 months ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆61Updated 5 years ago
• wilbowma / pl-thesaurus
  ☆89Updated 3 years ago
• jaseemabid / Olifant
  A simple programming language targeting LLVM
  ☆64Updated 6 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆31Updated 3 weeks ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 5 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆61Updated last year
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆68Updated 10 months ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆38Updated 5 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆73Updated last year
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated 3 months ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆75Updated 7 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆46Updated 10 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆43Updated 2 years ago
• andrejbauer / marshall
  Real number computation software
  ☆121Updated 2 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆108Updated 3 weeks ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 3 years ago
• jyp / prettiest
  The Prettiest Printer
  ☆35Updated 8 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆69Updated 3 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆44Updated 7 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆145Updated 9 years ago