Alternatives and similar repositories for research

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

• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆36Updated 9 months ago
• uprun / Lyspen
  Lyspen (previously Lisperanto) is an AST structured editor.
  ☆44Updated 3 weeks ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 7 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆13Updated 4 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆57Updated 9 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆50Updated last year
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• feenkcom / JSLink
  A bridge between Pharo and JavaScript
  ☆11Updated last week
• codefrau / jasmine
  Croquet Jasmine (2004) on SqueakJS
  ☆33Updated 9 months ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆22Updated last year
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆55Updated this week
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆107Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• hpi-swa / Gramada
  Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…
  ☆17Updated 5 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated last year
• otherjoel / bookcover
  📘⌨️ A Racket #lang and module for making cover PDFs for printed things.
  ☆23Updated 2 months ago
• zick / ZickStandardLisp
  Lisp evaluator in the LIsp for Zick's Lisp implementations
  ☆56Updated 4 years ago
• moon-chilled / j
  various toys in j
  ☆12Updated 3 years ago
• malleable-systems / malleable.systems
  Website for the malleable systems and software community
  ☆64Updated last month
• seveno4 / EURISKO
  ☆61Updated last year
• actondev / s7-playground
  Try s7 scheme in your browser, powered by WebAssembly
  ☆47Updated 5 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• JonathanMEdwards / subtext10
  ☆104Updated 3 years ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆55Updated 3 months ago
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 9 years ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆53Updated 3 years ago
• mthom / scryer-shen
  ☆58Updated 8 months ago
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆85Updated 2 years ago