adkelley / prolog-starter

Related projects: ⓘ

• fnogatz / swivm
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Updated last year
• lfex / clj
  MERGED to LFE - Clojure-inspired macros and functions for use in LFE
  ☆28Updated 7 years ago
• mndrix / jolog
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆11Updated 9 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆24Updated 9 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆35Updated 2 years ago
• hypirion / haskell-transducers
  Clojure's Transducers in Haskell
  ☆40Updated 8 years ago
• etnt / Haskerl
  Haskell subset compiled to the Beam machine.
  ☆41Updated 10 years ago
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 8 years ago
• racket / datalog
  ☆43Updated last month
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆15Updated 4 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 7 years ago
• webyrd / miniKanren-uncourse
  Code, wiki, and resources for the weekly miniKanren uncourse
  ☆52Updated 9 years ago
• pzel / mkr
  An implementation of µKanren in Lisp Flavored Erlang.
  ☆18Updated 9 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 8 years ago
• lfex / lfest
  DEPRECATED (use lfex/lanes instead)
  ☆37Updated 5 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated last month
• jasonhemann / micro-in-mini
  an implementation of a microKanren(-like language) in miniKanren
  ☆25Updated 10 years ago
• feeley / etos
  Erlang to Scheme compiler
  ☆36Updated 12 years ago
• weinholt / erlscp
  ☆17Updated this week
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆9Updated 9 years ago
• etnt / eml
  Erlang flavored by Some ML
  ☆36Updated 12 years ago
• otabat / shen-jvm
  A Java implementation of the Shen programming language
  ☆28Updated 5 years ago
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆25Updated 3 months ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• mflatt / sirmail
  an IMAP mail client implemented in Racket
  ☆31Updated 2 months ago
• vmchale / coronavirus
  covid-19 data in J
  ☆16Updated 2 years ago
• poor-a / erlang-ffi
  A Foreign Function Interface that lets Haskell and Erlang programs communicate.
  ☆67Updated 6 months ago