Alternatives and similar repositories for presprover

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

• triska / trs
  Reason about Term Rewriting Systems
  ☆18Updated 3 years ago
• namin / blond
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆16Updated 4 months ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆23Updated last year
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 4 months ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 8 years ago
• racket / honu
  ☆19Updated 2 years ago
• webyrd / curnelo
  Cur dependently-typed language in miniKanren.
  ☆17Updated 7 years ago
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆20Updated 13 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆33Updated 10 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last week
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• michaelballantyne / meta-minikanren
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆22Updated 9 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆17Updated 7 years ago
• AHartNtkn / Dependent-Binary-Lambda-Calculus
  A Dependently Typed Esolang
  ☆10Updated 8 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 11 months ago
• robertkleffner / CaKe
  An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
  ☆19Updated 11 years ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 9 years ago
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 9 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 8 months ago
• bennn / zordoz
  Manipulating racket bytecode
  ☆25Updated 3 years ago
• a-yiorgos / smallprolog
  Small Prolog
  ☆14Updated 8 years ago
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 3 years ago