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 5 months ago
• uprun / lisperanto
  Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;
  ☆45Updated 4 months ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆47Updated last year
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 7 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
  ☆56Updated 9 years ago
• moon-chilled / j
  various toys in j
  ☆12Updated 3 years ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆53Updated 2 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• darius / cant
  A programming argot
  ☆58Updated last year
• codefrau / jasmine
  Croquet Jasmine (2004) on SqueakJS
  ☆31Updated 4 months ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆102Updated last year
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆51Updated this week
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆22Updated 8 months ago
• harc / constraint-based-spreadsheet
  ☆46Updated 2 years ago
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 8 years ago
• actondev / s7-playground
  Try s7 scheme in your browser, powered by WebAssembly
  ☆46Updated 4 years ago
• harc / seymour
  A live programming environment that lets you see the inner workings of programs
  ☆81Updated 3 years ago
• racket / datalog
  ☆48Updated 3 weeks ago
• breck7 / ohayo
  A free, fast, public domain data science studio
  ☆133Updated last year
• harc / nl-datalog
  Natural Language Datalog
  ☆134Updated 7 years ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆53Updated 2 months ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 3 years ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated this week
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated last week
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago