All

11 repositories

invariant
Public
This repository provides invariant verification in Datalog for immutable databases like Datahike.
clojure database analysis
clojure database analysis verification datalog datomic datahike
Clojure
•0•11•7•1•Updated Jun 7, 2026Jun 7, 2026
abci-host
Public
Clojure host/server for Tendermint's ABCI protocol.
distributed-systems clojure blockchain
distributed-systems clojure blockchain consensus tendermint abci
Clojure
•
MIT License
•1•25•1•0•Updated May 31, 2025May 31, 2025
stickler
Public
Clojure-idiomatic protobuf3 codec functionality
serialization clojure protobuf
serialization clojure protobuf protocol-buffers protobuf3
Clojure
•
MIT License
•0•8•0•0•Updated Nov 28, 2021Nov 28, 2021
path
Public
0•0•0•0•Updated Sep 13, 2021Sep 13, 2021
clj-antlr
Public
Clojure bindings for the ANTLR 4 parser
Clojure
•33•0•0•0•Updated Sep 6, 2021Sep 6, 2021
pixyll
Public
A simple, beautiful Jekyll theme that's mobile first
CSS
•
MIT License
•1.3k•0•0•2•Updated Jul 19, 2020Jul 19, 2020
codox-theme
Public
CSS
•
MIT License
•0•0•0•0•Updated Feb 1, 2019Feb 1, 2019
marginalia
Public
ultra-lightweight literate programming for clojure inspired by docco
HTML
•80•0•0•0•Updated Jan 6, 2019Jan 6, 2019
lein-marginalia
Public
A Marginalia plugin to Leiningen
HTML
•17•0•0•0•Updated Jan 2, 2019Jan 2, 2019
planet.clojure
Public
Source code for Planet Clojure
Python
•
Other
•217•0•0•0•Updated Nov 5, 2018Nov 5, 2018
hyde
Public
A brazen two-column theme for Jekyll.
CSS
•
Other
•4k•0•0•0•Updated Jun 23, 2018Jun 23, 2018

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Navigation Menu

Datopia

All

All

11 repositories

invariant

abci-host

stickler

path

clj-antlr

pixyll

codox-theme

marginalia

lein-marginalia

planet.clojure

hyde

All

All

Repositories list

11 repositories