The Standard ML compiler that produces Lua/JavaScript

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

♞ lichess.org: the forever free, adless and open source chess server ♞

A Clojure development environment for Vim/Neovim and more!, primarily written in Babashka.

Overarch provides a data model for the holistic description of a software system, opening multiple use cases on the model data. Supports C4 and UML diagram generation with PlantUML.

Structured logs and telemetry for Clojure/Script

Intellij plugin for TLA+ formal specification language.

Python and Julia in harmony.

💌 SMTP client library for Clojure. That’s it.

Memento cache backed by Redis

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

A statically typed language compatible with Python

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

The native Clojure dialect hosted on LLVM with seamless C++ interop.

Experimental ClojureScript to ES6 module compiler

A dependently typed programming language, a successor to Idris

A specialised computer algebra system for topos theory.

An ultrasmall (~70 loc) React wrapper written in RacketScript

A typescript transformer / plugin that allows you to write macros for typescript!

Scientific computing in Lean 4

VMLS Julia companion in Japanese

A modern Prolog implementation written mostly in Rust.

Experimental type-safe geometric algebra for Rust

High Performance Data Processing for ClojureScript

An implementation of the Microsoft Language Server Protocol for the Julia language.

A proof of concept for building iOS applications in clojure via graalvm's native-image