cjheath / activefactsLinks
A fact-based semantic modeling and query language (CQL) and application runtime (the Constellation API)
☆56Updated 6 years ago
Alternatives and similar repositories for activefacts
Users that are interested in activefacts are comparing it to the libraries listed below
Sorting:
- A port of microKanren to Ruby☆28Updated 10 years ago
- An embedding of Alloy in Ruby☆19Updated 11 years ago
- Dataflow concurrency for Ruby (inspired by the Oz language)☆125Updated 14 years ago
- EBNF parser and generic parser generator for Ruby.☆125Updated 2 months ago
- Petrinet.org interactive playground website☆15Updated 5 years ago
- a gem to add J language array commands to Ruby☆82Updated 11 years ago
- A pure Ruby gem implemention of a Prolog-like DSL for AI and logical programming.☆206Updated 3 months ago
- ☆84Updated 8 years ago
- ☆71Updated 5 years ago
- An example Ruby implementation of μKanren.☆23Updated 5 years ago
- JSON parser that understands cross-references and casts to typed Ruby objects. Implements JSONQuery against JSON trees and Ruby object gr…☆117Updated 15 years ago
- Bidirectional AST manipulation prototypes☆40Updated 2 years ago
- Ruby with Logic, a prolog-style logic programming system for Ruby☆31Updated 7 years ago
- rocaml: Ruby extensions in OCaml☆18Updated 14 years ago
- Library for parsing and compiling OMeta grammars to ruby☆48Updated 16 years ago
- MiniKanren implementation in Ruby☆40Updated 9 years ago
- Monads & ADTs in Ruby☆27Updated 5 years ago
- Ruby JSON-RPC Library - json-rpc server/client mechanisms over amqp, websockets, and other transports, written in ruby☆68Updated 2 years ago
- Awesome datalog libraries, tools and resources☆61Updated 5 years ago
- Parse a Decision Table in Ruby☆13Updated 9 years ago
- A design-by-contract framework for Ruby.☆43Updated 10 years ago
- Graph Theory library for Ruby☆48Updated 5 years ago
- Forward messages to collaborators in East-oriented style.☆14Updated 3 weeks ago
- E vai col lissio!☆40Updated 8 years ago
- ADTs for Ruby☆24Updated 12 years ago
- ☆29Updated 2 years ago
- Symbolic math for ruby☆91Updated 13 years ago
- A high-level, light-weight web framework for Ruby with many ideas from Seaside.☆117Updated 4 years ago
- Transformation of ruby data-structures with optionally traced evaluation☆4Updated last year
- Graph is a type of hash that outputs in graphviz's dot format. It comes with a command-line interface that is easily pluggable.☆163Updated 11 months ago