Repository navigation

recife

Public

About

A Clojure model checker (using the TLA+/TLC engine)

144 stars

7 watching

Report repository

Name		Name	Last commit message	Last commit date
.clj-kondo		.clj-kondo
.github/workflows		.github/workflows
docker		docker
notebooks/recife/notebook		notebooks/recife/notebook
resources-test		resources-test
src		src
test		test
.dir-locals.el		.dir-locals.el
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.adoc		README.adoc
deps.edn		deps.edn
pom.xml		pom.xml
todo.md		todo.md

Repository files navigation

Recife

A model checker library in Clojure.

Check the docs at https://recife.pfeodrippe.com/.

YourKit

YourKit supports open source projects with innovative and intelligent tools for monitoring and profiling Java and .NET applications. YourKit is the creator of YourKit Java Profiler, YourKit .NET Profiler, and YourKit YouMonitor.

About

A Clojure model checker (using the TLA+/TLC engine)

144 stars

7 watching

Report repository

Releases

Packages

Used by

Contributors

Languages