pdenno/tools-15926 pdenno/tools-15926

  • Stars
    star
    1
  • Language
    Common Lisp
  • Created over 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pdenno/tools-15926
github

pdenno

Reviews

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

Repository Details

Tools for validation of some parts of ISO 15926

More Repositories

1

shop2-zmq

ZeroMQ Server for UMd SHOP2 planner, runs under sbcl.
Common Lisp
2
star
2

spntools

Stochastic Petri net tools
Clojure
1
star
3

jupyter-client

A library to run execute_request and receive stdout from a Jupyter kernel
Clojure
1
star
4

docker-mzn-notebooks

Dockerfiles for MiniZinc Jupyter Notebooks
Shell
1
star
5

explainlib

A Clojure library for Bayesian Abductive Logic Programming (BALP) identifying the most probable explanation (MPE)
Clojure
1
star
6

RADmapperExerciser

A web-based tool to experiment with the RADmapper language
Clojure
1
star
7

pn-draw

quil-based drawing and manipulation of Petri nets
Clojure
1
star
8

interop-mapping

LaTeX for OAGi Interoperable Mapping paper
TeX
1
star
9

minizinc-notebooks

Example Jupyter notebooks that use Minizinc
Jupyter Notebook
1
star
10

utils4pmap

A pmap-like function where calls to the argument function can timeout
Clojure
1
star
11

zotero-tools

An example to explore Clojurescript, shadow-cljs, and zotero simultaneously.
Clojure
1
star
12

xmi-tools

Tools for parsing and validating XML Metadata Interchange (XMI) models
Clojure
1
star
13

resize-component

Experiment using react/reagent/hx for resizing children with react hooks
Clojure
1
star
14

minizinc-parser

A Clojure/ClojureScript library to parse MiniZinc to either ASTs populating a metamodel or Clojure code.
Clojure
1
star
15

owl-db-tools

A Clojure library for reading OWL ontologies into a Datahike database
Clojure
1
star
16

cogacts

Software for modeling cognitive 'actions'
Clojure
1
star
17

sinet

System identification by means of genetic programming of Petri nets
Clojure
1
star
18

docker-jupyterlab

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

sudoku

Owen's Sudoku
Clojure
1
star
20

jupyter-plotly

Dockerfile for plotly extensions of dclong jupyter
Shell
1
star
21

schema-db

Clojure library to manage XML-based messaging schema in Datahike
Clojure
1
star
22

xmi-validator

Validator for models and profiles specified in OMG XML Metadata Interchange (XMI)
Common Lisp
1
star
23

schedulingTBD

Exploratory code for human/AI teaming in MiniZinc model formulation
Clojure
1
star
24

chui

A Chess UI
Clojure
1
star
25

RADmapper

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