mew-cx / chaitin_lisp

Related projects ⓘ

Alternatives and complementary repositories for chaitin_lisp

• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆31Updated 9 months ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆23Updated 2 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆58Updated 15 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆20Updated last year
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆36Updated 12 years ago
• jhbadger / xlispstat
  Luke Tierney's Xlispstat statistical environment
  ☆16Updated 8 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆37Updated last year
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆17Updated 8 years ago
• nineties-retro / sps
  Pre-Scheme to (GNU) C compiler written in Pre-Scheme
  ☆35Updated 11 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 8 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• webyrd / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆35Updated 2 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆17Updated 11 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 3 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆28Updated last year
• plops / clicc
  from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/
  ☆18Updated 8 years ago
• daly / PDFS
  ☆14Updated last year
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• dylan-hackers / gwydion
  Gwydion Dylan - compiler for Dylan targeting C
  ☆8Updated 12 years ago
• racket / honu
  ☆18Updated last year
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 6 years ago
• kstephens / tort
  Tiny Object Run Time
  ☆20Updated 9 years ago
• jdfreder / iforth
  Forth kernel for the IPython notebook
  ☆23Updated last year
• fare / moll
  My Own Linear Lisp
  ☆37Updated 6 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago