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 7 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
• uprun / lisperanto
  Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;
  ☆44Updated 7 months ago
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆53Updated 2 years ago
• boxer-project / boxer-sunrise
  Sunrise on the Boxer Reconstruction Project
  ☆55Updated this week
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆51Updated 2 years ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆13Updated 4 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆106Updated last year
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 7 years ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆22Updated last week
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆22Updated 11 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• mthom / scryer-shen
  ☆55Updated 6 months ago
• harc / nl-datalog
  Natural Language Datalog
  ☆134Updated 8 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• namin / reflection-schemes
  exploration of reflective architectures in Scheme
  ☆20Updated 3 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated this week
• ghxiao / nrdatalog2sql
  Converting Non-Recursive Datalog to SQL
  ☆24Updated 9 years ago
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated last year
• namin / pink
  Collapsing Towers of Interpreters (in Scheme)
  ☆59Updated 7 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• darius / cant
  A programming argot
  ☆57Updated last year
• JonathanMEdwards / subtext10
  ☆104Updated 3 years ago
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆85Updated 2 years ago
• geoffreylitt / json-sheets
  Riffs on spreadsheets for manipulating JSON and building GUIs
  ☆23Updated 5 years ago
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆22Updated last week
• kgrgreer / foam3
  FOAM: Feature-Oriented Active Modeller, Version 3 (unstable)
  ☆49Updated this week