AshleyF / Lispkit

Related projects ⓘ

Alternatives and complementary repositories for Lispkit

• carld / lispkit
  FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7
  ☆51Updated 9 months ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• jasonhemann / micro-in-mini
  an implementation of a microKanren(-like language) in miniKanren
  ☆25Updated 10 years ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆20Updated last year
• bldl / magnolisp
  Magnolisp, a toy programming language
  ☆15Updated 11 months ago
• fare / moll
  My Own Linear Lisp
  ☆37Updated 6 years ago
• stchang / mlish
  ☆21Updated 4 years ago
• mighty-gerbils / gerbil-ethereum
  Ethereum support for Gerbil Scheme
  ☆18Updated 6 months ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆17Updated 7 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆24Updated 10 years ago
• racket / honu
  ☆18Updated last year
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 9 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆14Updated 8 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆20Updated 9 years ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 4 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆23Updated 2 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆58Updated 10 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆15Updated last month
• barak / scheme9
  debian packaging of s9fes, Scheme 9 from Empty Space R4RS Scheme Interpreter
  ☆28Updated 4 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆24Updated 11 years ago
• standardml / SML-JSON
  A basic JSON parsing library for SML
  ☆11Updated 9 years ago
• plops / clicc
  from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/
  ☆18Updated 8 years ago
• ktakashi / sagittarius-scheme
  A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub
  ☆49Updated this week
• webyrd / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆35Updated 2 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆30Updated 3 weeks ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago