GitHub - GillianPlatform/ocaml-sedap: Server implementation for the SEDAP in OCaml

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
schema @ 99888b0		schema @ 99888b0
scripts		scripts
src		src
.envrc		.envrc
.gitignore		.gitignore
.gitmodules		.gitmodules
Makefile		Makefile
dune		dune
dune-project		dune-project
package-lock.json		package-lock.json
package.json		package.json
sedap.opam		sedap.opam
shell.nix		shell.nix