ljedrz / blc

Related projects ⓘ

Alternatives and complementary repositories for blc

• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆20Updated 3 months ago
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 6 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• rdentato / gerku
  An interpreter for concatenative combinators (i.e. Combinators as a functional language)
  ☆10Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• VictorTaelin / absal-rs
  ☆36Updated 6 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated 10 months ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆18Updated 5 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• sdiehl / galois-fft
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Updated 4 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆12Updated 2 years ago
• athas / futball
  You are trapped on an infinite tile floor along with murderous marbles
  ☆10Updated last month
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 5 months ago
• raaz-crypto / verse-coq
  VERified asSembler for cryptographic primitives
  ☆12Updated last year
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆22Updated 2 years ago
• ats-lang / ats-lang.github.io
  For hosting certain parts of http://www.ats-lang.org
  ☆26Updated last year
• palmskog / fitch
  Certified proof checker for Fitch-style propositional logic proofs
  ☆7Updated last year
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 6 months ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• CoqHott / coq-forcing
  A plugin for Coq that implements the call-by-name forcing translation
  ☆12Updated 3 years ago
• DaveAckley / ULAM
  Compiler for MFM programming language
  ☆21Updated last month
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆15Updated last year