The easy-to-use open source Business Intelligence and Embedded Analytics tool that lets everyone work with data 📊

Optimize floating-point expressions for accuracy

Automated reasoning for React/ReasonML

Coroutine support for clojure

[wip] Modular SMT solver in rust

Code from the 2018 Denver Clojure Meetup

[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.

An operating system written in Common Lisp

Cliff Click Language Hacking

A modular sat/smt solver with proof output.

Implementations of the Kanren family of relational programming languages, in Clojure.

The Qua programming language main repository

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Imandra Contracts - Formal verification of smart contracts

Imandra tutorials

Imandra Protocol Language VS Code Plugin

Work on fully expansive verification of MetiTarski proofs

Imandra Modelling Language CME MDP Model

Imandra Protocol Language example models

Imandra FIX Engine

OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover

clojure.org site

Bash-like shell based on Clojure

LaTTe : a Laboratory for Type Theory experiments (in clojure)

Shen language kernel sources for porters

The Lux Programming Language

Infer Clojure specs from sample data. Inspired by F#'s type providers.

functional, durable data structures

Symbolic MSIL bytecode generation for ClojureCLR