An operating system written in Common Lisp

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

Repository hosting the open-source Nu Game Engine and related projects.

A data-oriented game engine written in Rust with a custom ECS 🦀

Safe Rust bridge for creating Erlang NIF functions

OpenMW is an open-source open-world RPG game engine that supports playing Morrowind. Main repo and issue tracker can be found here: https://gitlab.com/OpenMW/openmw/

Raylib bindings for Lean4

Low level utils (single precision float, byte spans, unboxed vector, finalization callbacks, fixnums, deque, slotmap etc; implemented via ffi)

Lean4 bindings for raylib

Lean 4 port of Iris, a higher-order concurrent separation logic framework

A simple raytracer written in Lean 4

🌐 | HTTP primitives for Lean 4

Java Stream API Exercises

A dialect of Lisp that's embedded in Python

vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.

Command & Conquer: Remastered Collection

Talk to God on up to 64 cores. Final snapshot of the Third Temple.

The financial transactions database designed for mission critical safety and performance.

DOOM Open Source Release

The 2013 edition of the Source SDK

The core OCaml system: compilers, runtime system, base libraries

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

Write C shims from within Lean code.

A simple and fast text editor

The "batteries included" extended library for the Lean programming language and theorem prover

Lean 4 programming language and theorem prover

KeY Theorem Prover for Deductive Java Verification