JS-MF / jsmf-core
☆11Updated 10 months ago
Alternatives and similar repositories for jsmf-core:
Users that are interested in jsmf-core are comparing it to the libraries listed below
- Spreadsheet-like programming on all your devices. http://object.network/onex-app.html☆14Updated last year
- Clafer is a lightweight modeling language☆45Updated last month
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆24Updated this week
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Terminus DB Schemas - Formal descriptions and documentation of all the internal data structures used by Terminus DB☆10Updated 5 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆51Updated 5 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 5 years ago
- Cell language C++ runtime☆18Updated 4 years ago
- TypeDB (Core and Cloud) RPC Communication Protocol☆16Updated this week
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- A compiler, testing bed, and standard library for the Choral programming language.☆26Updated this week
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆15Updated 12 years ago
- a distributed PGP keyserver project based on the dat protocol☆91Updated 2 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- a book about declarative language definition☆23Updated 9 years ago
- Reactive Web Programming☆28Updated this week
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆23Updated 8 years ago
- Pengine and Prolog scratchpad☆58Updated 4 years ago
- A collection of resources to dive into making OSLC applications☆16Updated 5 months ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated 3 years ago
- formal tools for BPMN☆35Updated 11 months ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- ☆20Updated last year
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Updated 3 years ago
- ☆34Updated 4 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- This package contains a lightweight deductive database system in OCaml☆40Updated 3 years ago