Alternatives and similar repositories for Golem

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

• bodil / microkanrens
  Implementations of µKanren in assorted languages
  ☆64Updated 9 years ago
• gigasquid / babar
  A little language for machines with speech acts
  ☆110Updated 6 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆71Updated 7 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆48Updated 8 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• manuel / wat-js
  Concurrency and Metaprogramming for JS
  ☆262Updated 8 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated 5 months ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 7 years ago
• dmbarbour / awelon
  Awelon project is a new UI model with a new language.
  ☆106Updated 10 years ago
• liphe / delisp
  A statically typed Lisp dialect with algebraic effect system compiling to Javascript
  ☆42Updated last week
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 10 years ago
• gregspurrier / shen-ruby
  ShenRuby is a port of the Shen programming language to Ruby
  ☆77Updated 6 years ago
• srikumarks / FD.js
  Finite domain constraint programming library in JS
  ☆62Updated 3 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 9 years ago
• bodil / BODOL
  The common BODil Oriented Language
  ☆313Updated 8 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 10 years ago
• mitranim / jisp
  Lisp-style language that compiles to JavaScript
  ☆131Updated last year
• staltz / jace
  just another compiler experiment
  ☆14Updated 9 years ago
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆91Updated 9 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 10 years ago
• tonyg / syndicate
  syn·di·cate: a language for interactive programs
  ☆159Updated last month
• webyrd / cool-relational-interpreter-examples
  Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work
  ☆14Updated 10 years ago
• deech / shen-rust
  ☆35Updated 6 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆23Updated 2 weeks ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆56Updated 10 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 6 years ago
• ympbyc / Carrot
  Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…
  ☆67Updated 3 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆22Updated 8 years ago
• doppioslash / CastleOfElm
  Roguelike for 7DRL make in Elm
  ☆30Updated 10 years ago