mjdominus / cf

Related projects: ⓘ

• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 6 years ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆14Updated 4 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆61Updated 5 years ago
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 9 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆64Updated 7 years ago
• andrejbauer / marshall
  Real number computation software
  ☆120Updated 2 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• codedot / lambda
  Macro Lambda Calculus
  ☆44Updated 5 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 6 years ago
• sweirich / trellys
  Automatically exported from code.google.com/p/trellys
  ☆45Updated 5 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆22Updated last year
• HoTT / M-types
  A formalization of M-types in Agda
  ☆32Updated 4 years ago
• msullivan / LazyK
  Updated LazyK source distribution
  ☆17Updated 5 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆86Updated last month
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆39Updated 9 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆47Updated 4 years ago
• desi-ivanov / agda-regexp-automata
  Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.
  ☆15Updated 4 years ago
• cassowarii / alma
  poetic concatenative programming language
  ☆10Updated last month
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 11 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 3 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 5 years ago
• rutgers-apl / rlibm-32
  RLibm for 32-bit representations (float and posit32)
  ☆61Updated 3 years ago
• clf / celf
  ☆58Updated 5 years ago
• robbertkrebbers / ch2o
  ☆87Updated 2 years ago
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆47Updated 3 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 8 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆33Updated 4 months ago