ccs4ever / Dimscape

Related projects ⓘ

Alternatives and complementary repositories for Dimscape

• enkiv2 / ix
  A bootable standalone zzstructure editor (or zigzag-based operating system) for the x86
  ☆21Updated 11 years ago
• eriktmueller / daydreamer
  DAYDREAMER goal-based agent
  ☆74Updated 2 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• cmungall / cltools
  tools for common-logic
  ☆19Updated 11 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆63Updated 4 months ago
• bennn / iPoe
  Interactive POetry Editor
  ☆27Updated 3 years ago
• mistupv / SWIPrologZ3
  A simple Prolog API for the Z3 constraint solver
  ☆14Updated 6 years ago
• jeapostrophe / zeromq
  FFI to zeromq
  ☆12Updated last week
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• mattmight / derp2
  A parser tool for Racket with an expressive grammar notation
  ☆20Updated 9 years ago
• tonyg / js-vau
  Kernel-like interpreter
  ☆24Updated last month
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆52Updated 8 months ago
• soney / interstate
  ☆53Updated 3 years 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…
  ☆30Updated 3 years ago
• rla / prolog-markdown
  Markdown parser for SWI-Prolog.
  ☆20Updated 4 years ago
• darius / cant
  A programming argot
  ☆58Updated 7 months ago
• arclanguage / rainbow-js
  A JavaScript port of most of Rainbow (conanite's JVM-based Arc implementation).
  ☆20Updated 2 years ago
• kpreid / e-on-cl
  E language implementation targeting Common Lisp
  ☆14Updated 12 years ago
• logicmoo / logicmoo_clif
  Base Forward Chaining Knowledge Base Maintenance System
  ☆18Updated 3 years ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆30Updated 2 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆53Updated 15 years ago
• enkiv2 / ggc
  Generative Grammar Compiler
  ☆19Updated 8 years ago
• nasser / rejoyce
  A concatenative programming language inspired by Manfred von Thun's Joy
  ☆24Updated 9 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 5 years ago
• dahjelle / pouch-datalog
  Datalog query engine for PouchDB.
  ☆24Updated 9 years ago
• synchrony / smsn-why
  Get psyched about mapping knowledge!
  ☆30Updated last year
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 2 years ago
• joshsh / jig
  A JavaScript-based interface for graph traversal
  ☆18Updated last year