There are no reviews yet. Be the first to send feedback to the community and the maintainers!
shop2-zmq
ZeroMQ Server for UMd SHOP2 planner, runs under sbcl.spntools
Stochastic Petri net toolstools-15926
Tools for validation of some parts of ISO 15926jupyter-client
A library to run execute_request and receive stdout from a Jupyter kerneldocker-mzn-notebooks
Dockerfiles for MiniZinc Jupyter Notebooksexplainlib
A Clojure library for Bayesian Abductive Logic Programming (BALP) identifying the most probable explanation (MPE)RADmapperExerciser
A web-based tool to experiment with the RADmapper languagepn-draw
quil-based drawing and manipulation of Petri netsinterop-mapping
LaTeX for OAGi Interoperable Mapping paperminizinc-notebooks
Example Jupyter notebooks that use Minizincutils4pmap
A pmap-like function where calls to the argument function can timeoutzotero-tools
An example to explore Clojurescript, shadow-cljs, and zotero simultaneously.xmi-tools
Tools for parsing and validating XML Metadata Interchange (XMI) modelsresize-component
Experiment using react/reagent/hx for resizing children with react hooksminizinc-parser
A Clojure/ClojureScript library to parse MiniZinc to either ASTs populating a metamodel or Clojure code.owl-db-tools
A Clojure library for reading OWL ontologies into a Datahike databasecogacts
Software for modeling cognitive 'actions'sinet
System identification by means of genetic programming of Petri netsdocker-jupyterlab
Docker repository for jupyterlab 2.0.1. FROM dclong/jupyter-nodejs. A work in progress.sudoku
Owen's Sudokujupyter-plotly
Dockerfile for plotly extensions of dclong jupyterschema-db
Clojure library to manage XML-based messaging schema in Datahikexmi-validator
Validator for models and profiles specified in OMG XML Metadata Interchange (XMI)schedulingTBD
Exploratory code for human/AI teaming in MiniZinc model formulationchui
A Chess UILove Open Source and this site? Check out how you can help us