pdenno/shop2-zmq

Stars
2
Language
Common Lisp
Created over 6 years ago
Updated over 5 years ago

pdenno/shop2-zmq

pdenno

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

ZeroMQ Server for UMd SHOP2 planner, runs under sbcl.

spntools

Stochastic Petri net tools

tools-15926

Tools for validation of some parts of ISO 15926

jupyter-client

A library to run execute_request and receive stdout from a Jupyter kernel

docker-mzn-notebooks

Dockerfiles for MiniZinc Jupyter Notebooks

explainlib

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 language

pn-draw

quil-based drawing and manipulation of Petri nets

interop-mapping

LaTeX for OAGi Interoperable Mapping paper

minizinc-notebooks

Example Jupyter notebooks that use Minizinc

Jupyter Notebook

utils4pmap

A pmap-like function where calls to the argument function can timeout

zotero-tools

An example to explore Clojurescript, shadow-cljs, and zotero simultaneously.

xmi-tools

Tools for parsing and validating XML Metadata Interchange (XMI) models

resize-component

Experiment using react/reagent/hx for resizing children with react hooks

minizinc-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 database

cogacts

Software for modeling cognitive 'actions'

sinet

System identification by means of genetic programming of Petri nets

docker-jupyterlab

Docker repository for jupyterlab 2.0.1. FROM dclong/jupyter-nodejs. A work in progress.

sudoku

jupyter-plotly

Dockerfile for plotly extensions of dclong jupyter

schema-db

Clojure library to manage XML-based messaging schema in Datahike

xmi-validator

Validator for models and profiles specified in OMG XML Metadata Interchange (XMI)

schedulingTBD

Exploratory code for human/AI teaming in MiniZinc model formulation

chui

RADmapper

Reference implementation of an "interoperable" data transformation language and web-based tool for exploring the language.