sethrylan / mumps-trainingLinks
I used to run a training sessions for this language. Not Much has changed in the last 10years though
☆16Updated 3 years ago
Alternatives and similar repositories for mumps-training
Users that are interested in mumps-training are comparing it to the libraries listed below
Sorting:
- Victory Programmer Environment (used in M code Development; esp. for VISTA)☆12Updated 6 years ago
- A YottaDB and Caché compatible HTTP server☆29Updated 3 years ago
- Debugger for MUMPS (M) GT.M / YottaDB☆18Updated last week
- Pengines: Prolog engines☆12Updated last week
- Pengine and Prolog scratchpad☆59Updated 2 months ago
- SWI-Prolog web server sources for www.swi-prolog.org☆19Updated last week
- A collection of Prolog libraries.☆88Updated last year
- Prolog implementation of microKanren☆44Updated 10 years ago
- Chatbot impls in Prolog☆15Updated 3 years ago
- A VS Code extension supporting for Picat language☆18Updated 7 years ago
- Poplog☆21Updated 15 years ago
- The SWI-Prolog HTTP server and client libraries☆27Updated last week
- A proof-of-concept parser for the Prolog programming language, at the Bern University of Applied Sciences for the course "Automata and fo…☆11Updated 11 years ago
- SWI-Prolog dynamic C interface☆17Updated last year
- Tutorial for the CHR system☆16Updated 4 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆78Updated 2 months ago
- Discuss future development☆21Updated 10 years ago
- A tutorial for DCG's in swi-Prolog☆35Updated 4 years ago
- purple: compiling a reflective language☆33Updated last year
- CHR: Leuven Constraint Handling Rules☆26Updated last week
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 4 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)☆32Updated 5 years ago
- adds an optional type system to J language☆21Updated 9 years ago
- Java-based lightweight Prolog virtual machine☆35Updated last year
- The sources of the first theorem prover.☆65Updated 8 years ago
- FFI for OpenCL☆12Updated 9 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 3 months ago
- Julia Implementation of Unums☆42Updated 8 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆29Updated 4 years ago