Alternatives and similar repositories for chaitin_lisp:

Users that are interested in chaitin_lisp are comparing it to the libraries listed below

• bennn / forth
  Forth emulator, as a Racket #lang
  ☆21Updated last year
• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆31Updated 11 months ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated last year
• 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
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆17Updated 8 years ago
• the-carlisle-group / Dado
  DevOps for Dyalog APL
  ☆16Updated 3 weeks ago
• daly / PDFS
  ☆14Updated 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
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆28Updated 2 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• stchang / mlish
  ☆21Updated 4 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆31Updated 10 months ago
• takikawa / racket-ppa
  Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details …
  ☆10Updated 2 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• jhbadger / xlispstat
  Luke Tierney's Xlispstat statistical environment
  ☆16Updated 9 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated this week
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 7 months ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆24Updated last month
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆24Updated 7 months ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆17Updated last year
• vmchale / j-hs
  Call J from Haskell
  ☆12Updated 2 weeks ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆22Updated 10 months ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 8 years ago
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆18Updated 11 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago