coq-community / qarith-stern-brocot

Related projects: ⓘ

• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 2 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆20Updated last month
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆25Updated 3 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆15Updated 2 weeks ago
• stchang / mlish
  ☆21Updated 4 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated last year
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆20Updated last year
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆22Updated 8 years ago
• ashinkarov / cnn-in-apl
  CNN in APL
  ☆21Updated 2 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 2 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• namin / blond
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆15Updated 9 months ago
• the-carlisle-group / Dado
  DevOps for Dyalog APL
  ☆16Updated last month
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆43Updated 2 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆23Updated 10 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆64Updated 7 years ago
• alpha-convert / pacman
  A proof that Idris is pacman complete
  ☆8Updated 6 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆21Updated 4 months ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆20Updated 3 months ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆16Updated 6 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆30Updated 10 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated last month
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 10 years ago
• jkoppel / ecta
  ☆33Updated 5 months ago