Name		Name	Last commit message	Last commit date
Latest commit History 7,026 Commits
.github/workflows		.github/workflows
docker		docker
docs		docs
minimal-caps		minimal-caps
monads		monads
msp430		msp430
nanosail		nanosail
rewrites		rewrites
sail_plugin		sail_plugin
tests		tests
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
default.nix		default.nix
dune-project		dune-project
flake.lock		flake.lock
flake.nix		flake.nix
monads.nix		monads.nix
monads.opam		monads.opam
nanosail.nix		nanosail.nix
nanosail.opam		nanosail.opam
remove-trailing-whitespaces		remove-trailing-whitespaces
sail.opam.locked		sail.opam.locked
sail_katamaran_backend.opam		sail_katamaran_backend.opam