sethrylan / mumps-training

Related projects: ⓘ

• shabiel / VPE
  Victory Programmer Environment (used in M code Development; esp. for VISTA)
  ☆11Updated 5 years ago
• shabiel / M-Web-Server
  A YottaDB and Caché compatible HTTP server
  ☆24Updated last year
• jewuma / mumps-debug
  Debugger for MUMPS (M) GT.M / YottaDB
  ☆15Updated 3 weeks ago
• pahihu / mumps
  Enhanced MUMPS V1.
  ☆23Updated last month
• joelivey / M-Unit
  MUMPS (M) Unit Testing functionality
  ☆13Updated 5 years ago
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆16Updated 2 months ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• poplog / poplog
  Poplog
  ☆21Updated 13 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆31Updated 2 months ago
• faisalsami / m-editor
  Simple Web based Mumps Editor for gtm to edit mumps routines online by utilizing ewd.js and Node.js.
  ☆9Updated 8 years ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆17Updated 8 years ago
• simularity / SimGen
  A simulation language
  ☆21Updated 3 years ago
• WorldVistA / VistA-M
  OSEHRA VistA M Components
  ☆37Updated last week
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆12Updated 3 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• programarivm / mumps-examples
  This is a collection of M scripts for learning purposes. The examples in this tutorial are run with GT.M.
  ☆36Updated 4 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆17Updated last year
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 5 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆39Updated 3 months ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 7 years ago
• hnbeck / ecblackjack
  Simple BlackJack game via Browser using SWI Prolog, Tau Prolog
  ☆10Updated 4 years ago
• wyc / snippets
  ☆52Updated 7 years ago
• briangu / OPS5
  OPS5 Production System
  ☆53Updated 11 years ago
• lparenteau / DataBallet
  Web server and application framework implemented using the M language.
  ☆20Updated last year
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆14Updated 3 years ago
• LdBeth / CLASSLIB
  WIP Unicode version of Charles C. Sims' CLASSLIB used in Abstract Algebra-A Computational Approach
  ☆6Updated 3 years ago
• VHAINNOVATIONS / ehmp-app
  eHMP ADK and Applets; a Single Page Application (SPA) written with Marionette/Backbone.js for implementing a VistA EHR User Interface
  ☆9Updated 8 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 3 months ago
• rewriting / tom
  ☆34Updated 3 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 6 years ago