Alternatives and similar repositories for Dimscape

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

• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated last month
• eriktmueller / daydreamer
  DAYDREAMER goal-based agent
  ☆78Updated 3 years ago
• enkiv2 / ix
  A bootable standalone zzstructure editor (or zigzag-based operating system) for the x86
  ☆21Updated 12 years ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆56Updated last year
• Attempto / Clex
  Large lexicon for APE (~100,000 entries)
  ☆29Updated 6 years ago
• rla / prolog-markdown
  Markdown parser for SWI-Prolog.
  ☆22Updated 4 years ago
• tonyg / js-vau
  Kernel-like interpreter
  ☆25Updated 10 months ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆29Updated 3 years ago
• kragen / dercuano
  a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…
  ☆16Updated 3 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated 3 weeks ago
• mekarpeles / math.mx
  A comprehensive graph of mathematical domains and topics
  ☆22Updated 3 years ago
• darius / cant
  A programming argot
  ☆58Updated last year
• alexwarth / roomdb
  A Datalog-style database that enables programmers to represent facts using natural language
  ☆52Updated 2 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆199Updated last year
• cwebber / racket-linkeddata
  Linked data tooling for the Racket programming language (json-ld, eventually more)
  ☆16Updated 6 years ago
• bennn / iPoe
  Interactive POetry Editor
  ☆28Updated 3 years ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• Ngnghm / ngnghm.github.io
  Houyhnhnm Computing
  ☆21Updated 6 months ago
• malleable-systems / malleable.systems
  Website for the malleable systems and software community
  ☆63Updated 4 months ago
• harc / constraint-based-spreadsheet
  ☆46Updated 2 years ago
• aredridel / lotsawa
  The Marpa parsing alrgorithm in Javascript
  ☆23Updated 8 years ago
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆84Updated 2 years ago
• nasser / rejoyce
  A concatenative programming language inspired by Manfred von Thun's Joy
  ☆24Updated 10 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆54Updated 9 years ago
• bootstrapworld / wescheme
  wescheme
  ☆27Updated 5 months ago
• amarty66 / lambdaway
  The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, comp…
  ☆29Updated 4 years ago
• cdglabs / thinglab
  Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.
  ☆106Updated 5 months ago