Bronsa

graal

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

Mezzano

An operating system written in Common Lisp

lux

The Lux Programming Language

closh

Bash-like shell based on Clojure

bifurcan

functional, durable data structures

herbie

Optimize floating-point expressions for accuracy

spec-provider

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

shen-sources

Shen language kernel sources for porters

aa

Cliff Click Language Hacking

LaTTe

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

clojure-site

clojure.org site

cloroutine

Coroutine support for clojure

verified-react

Automated reasoning for React/ReasonML

mSAT

A modular sat/smt solver with proof output.

mage

Symbolic MSIL bytecode generation for ClojureCLR

fix-engine

Imandra FIX Engine

build-your-own-logic-engine

Code from the 2018 Denver Clojure Meetup

contracts

Imandra Contracts - Formal verification of smart contracts

cme-mdp

Imandra Modelling Language CME MDP Model

ocaml-pltp

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

ipl-examples

Imandra Protocol Language example models

qua

The Qua programming language main repository

batsmt

[wip] Modular SMT solver in rust

love

ipl-vscode

Imandra Protocol Language VS Code Plugin

imandra-docs

Imandra Documentation

kanren

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

andes

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

tutorials

Imandra tutorials

verified-metitarski

Work on fully expansive verification of MetiTarski proofs