hypirion / roulette-tree

Related projects: ⓘ

• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• cgrand / parsnip
  parsley is dead, long live parsnip!
  ☆17Updated 10 years ago
• hraberg / akeem
  Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.
  ☆22Updated 7 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 8 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆24Updated 9 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆26Updated 12 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆46Updated 7 years ago
• gfredericks / the-halting-project
  What's the simplest Turing Machine with unknown behavior?
  ☆13Updated 8 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• webyrd / cato
  Concatenative relational interpreter in miniKanren
  ☆22Updated 9 years ago
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 3 months ago
• dabrady / LittleLogicLangs
  Project files for my paper, "Little Logic Languages for Relational Programming"
  ☆12Updated 4 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• vijaymathew / slogan
  A general purpose, dynamic, functional programming language with strong support for concurrency.
  ☆33Updated 2 years ago
• aliclark / hasp
  A Lisp syntax for Haskell.
  ☆22Updated 12 years ago
• kyagrd / tiper
  Type Inference Prototyping Engine from Relational specifications of type systems
  ☆11Updated 4 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆49Updated 8 years ago
• elben / neblen
  A programming language
  ☆8Updated 8 years ago
• fare / moll
  My Own Linear Lisp
  ☆36Updated 6 years ago
• charles-l / po
  minimal lisp that compiles to x86
  ☆10Updated 7 years ago
• calvis / cKanren
  Constraint programming language embedded in Racket
  ☆152Updated 3 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated last year
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated 2 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆65Updated 9 years ago
• JacksonGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 7 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆35Updated 2 years ago
• wyago / Mantra
  ☆17Updated this week
• iu-parfunc / lvars
  The LVish Haskell library
  ☆81Updated last year
• MostAwesomeDude / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 5 years ago