Microdown is a cleaned and simpler markdown but with more powerful features such as extensions.

The Roassal Visualization Engine

This is the VM used by Pharo

To get an overview of the book building status

SWI-Prolog plugin for the asdf version manager

SWI-Prolog Main development repository

SWI-Prolog for SHaring: a SWI-Prolog web IDE

A tool-agnostic formal specification language for OCaml.

QuickCheck inspired property-based testing for OCaml.

A lightweight and colourful test framework

Software Foundations

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

Benchmark programs and supporting scripts for measuring the performance of the SML/NJ system

Standard ML Compiler and Toolkit

Generic package manager for Standard ML libraries and programs

git mirror of the Munich isabelle hg repository

A gentle introduction to Isabelle and Isabelle/HOL

Book: Functional Data Structures and Algorithms. A Proof Assistant Approach.

Official Elixir Language Server Protocol implementation

Home page for the Expert language server

Lexical is a next-generation elixir language server

A frontend-independent IDE "smartness" server for Elixir. Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"

A Lean companion to Analysis I

HarfBuzz text shaping engine

A more modern man page viewer for our terminals

An OCI-based ASDF system distribution and management tool for Common Lisp

Lean4 Code Editor