Max/MSP external for scripting and live coding Max with s7 Scheme Lisp

A collection of tools to pack the GAIA universe model in a binary format.

Symbolicating macOS/iOS crash reports, easily.

A hot take on Lisp metaprogramming

Free and Open Source, full-featured torrent client for Android. Mirrored from https://gitlab.com/proninyaroslav/libretorrent

Replicated Data eXchange format C lib

A lisp👽 written in C++

zapret and blockcheck binary bundle for windows

Open-source clone of the original X-Com 👽

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

Render stuff in curved space

C++ Insights - See your source code with the eyes of a compiler

A modern, portable, easy to use crypto library.

Helio Workstation template and builds for void linux

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

A feature-rich command-line audio/video downloader

Lazy evaluation in C++ - http://jscheiny.github.io/Streams/

A collection of TLA⁺ specifications of varying complexities.

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

Automatic verification of LLVM optimizations

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Resources for type theory, functional programming, etc.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Silicon Layout Wizard

The CompCert formally-verified C compiler

Stable diffusion for real-time music generation (web app)

A C++ to Verilog translation tool with some basic guarantees that your code will work.

The MiniZinc compiler

Xcode iPhoneOS (iOS) DeviceSupport files (6.0 - 17.0)

Theory of digital signal processing (DSP): signals, filtration (IIR, FIR, CIC, MAF), transforms (FFT, DFT, Hilbert, Z-transform) etc.