Auto formalization of the CLRS text book

Generate CSS with Clojure

A curated list of awesome FSRS implementations, papers and resources

A fast, zero-copy EDN (Extensible Data Notation) reader written in C11 with SIMD acceleration.

Multiplayer Rating System. No Friction.

Common Lisp port of Doug Lenat's EURISKO

Distributional Formal Semantics (DFS) tools

A probabilistic programming language for metacognitive modeling

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

An efficient implementation of the higher-order logic programming language Lambda Prolog

Heroku buildpack to let you use git deploy keys with your private repositories

Manage :db/doc string values for any addressable entity in a Datomic database.

Mortgage calculator in Clojurescript, Reagent & Re-frame

Parinfer for Emacs :)

A framework of abstractions

Large lexicon for APE (~100,000 entries)

Parser for Attempto Controlled English (ACE)

A rule engine based on Attempto Controlled English

One Dark theme for IntelliJ IDEA, PhpStorm, PyCharm, RubyMine, WebStorm

Official git repository of Elmer FEM software

A work-in-progress for what is to be a software-free web server for static content.

My Emacs initialization code and standard scripts I use for client and servers alike.

An animation library for Reagent (ClojureScript)

ClojureScript wrappers around the Web Audio API

Immutable database and Datalog query engine for Clojure, ClojureScript and JS

Use wealthbot.io to easily setup your own wealth management platform ⛺

CAD from a parallel universe

Clojure Development Environment for Excel

A modernized and annotated code companion to Paul Graham's "On Lisp".

Generate CSS with Clojure