triska / bitcoinolog

Related projects: ⓘ

• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆17Updated last year
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆38Updated last year
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 7 years ago
• Anniepoo / weblog
  Web Framework for SWI-Prolog
  ☆40Updated 8 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆23Updated last year
• Bogdanp / racket-wasm
  Wasm tooling in Racket.
  ☆40Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆43Updated last month
• plops / clicc
  from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/
  ☆18Updated 8 years ago
• racket / plot
  ☆39Updated last month
• samer-- / prolog
  Prolog stuff
  ☆26Updated 5 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• stchang / mlish
  ☆21Updated 4 years ago
• poplog / poplog
  Poplog
  ☆21Updated 13 years ago
• miniKanren / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆15Updated 6 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 9 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆23Updated 10 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆49Updated 8 years ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 4 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆30Updated 4 years ago
• racket / honu
  ☆18Updated last year
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆56Updated 6 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆22Updated last year
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆22Updated 5 years ago
• jackfirth / glass
  An optics (lenses, prisms, traversals, etc.) library for Racket.
  ☆10Updated 4 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆41Updated last week
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆22Updated last year