mnicky's repositories
luadist-git
Automated Lua module deployment utility for the LuaDist project - git version
impromptu-kanren
Clojure micro kanren (relational logic programming system) based on sokuza-kanren
abacus
ABacus: fast hypothesis testing and experiment design solution
MIT000
awesome-courses
List of awesome university courses for learning Computer Science!
copycat
A novel implementation of the Raft consensus algorithm
Language:JavaApache-2.0000
java.jdbc
JDBC from Clojure (formerly clojure.contrib.sql)
Language:Clojure000
java8kanren
Implementation of minikanren in java
Language:Java000
kalium
Java binding to the Networking and Cryptography (NaCl) library with the awesomeness of libsodium
Language:JavaApache-2.0000
micrologic
A literate clojure implementation of microKanren
Language:ClojureEPL-1.0000
mnicky.github.io
my webpage
Language:HTML000
persistent4j
My experiments with persistent datastructures for Java.
sme-classifier
Classifier of articles from sme.sk
Language:Clojure000