OpenCL binding for Common Lisp

Standard ML of New Jersey

Some Mac OS X SDKs for development purposes with osxcross.

kaldi-asr/kaldi is the official location of the Kaldi project.

RISC-V Open Source Supervisor Binary Interface

Rocket Chip Generator

Xilinx Vivado block designs for FPGA RISC-V SoC running Debian Linux distro

LispWorks Plugins by April & May

A Coq Toolkit for Lambek Calculus

Standard ML Grammar for Tree-sitter

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Color schemes for default macOS Terminal.app

Message Passing Neural Networks for Simplicial and Cell Complexes

The Aldor Programming Language

Validating XML parser library in Standard ML by Andreas Neumann and Alexandru Berlea

ProofPower is an open source suite of tools for specification and proof in HOL and Z.

Metamath Zero specification language

Mechanising the equivalence proof from Register Machine to Recursive Functions in HOL4

Conversion of the original WWW proposal by Tim Berners-Lee to OpenDocument Format

PyPy is a very fast and compliant implementation of the Python language.

Standard ML Compiler and Toolkit

Converts floating point numbers to decimal strings

An implementation of Python in Common Lisp

A Common Lisp specification, made from the original ANSI specification drafts

Specification of the Functional Mock-up Interface (FMI)

Simulate Functional Mock-up Units (FMUs) in Python

C library for importing FMUs

Converts MathML to LaTeX