A logic/relational programming library for Clojure

Optimized pattern matching and predicate dispatch for Clojure

tawny-owl enables building OWL ontologies in a programmatic environment.

There's a function for that!

Hive MCP

A variant of clojure.core/satisfies? that checks all methods are implemented.

Metacircular metamodel platform on Datomic — RDFS-style classes + properties + inheritance, equipped with a four-axis retrieval surface (BM25F fulltext search, structural + temporal aggregation, Wilbur-lineage path-grammar navigation, library-card ...

tawny-owl enables building OWL ontologies in a programmatic environment. Fork from the original uk.org.russet/tawny-owl

Type-like specs.

Static Clojure code rewriting

Computational semigroup theory software system shadowing several semigroup packages of the GAP computer algebra system.