Fil-C

Combustion engine simulator that generates realistic audio.

A massively parallel, optimal functional runtime in Rust

Gallina to Bedrock2 compilation toolkit

A low-level client for Swank

Common Lisp implementation of a Slime / Swank client.

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

A VM with adaptive optimization and JIT compilation, built for Rakudo

Full-blown preprocessor metaprogramming

Pangea Software’s Otto Matic 🤖

Main development repository for Rigs of Rods soft-body physics simulator

Improved version of the X-Ray Engine, the game engine used in the world-famous S.T.A.L.K.E.R. game series by GSC Game World. Join OpenXRay! ;)

Open Source codebase of the game Overgrowth by Wolfire Games LLC

A Python framework for high performance GPU simulation and graphics

Emacs Plus formulae for the Homebrew package manager

A tree-sitter based AST difftool to get meaningful semantic diffs

Mold: A Modern Linker 🦠

Reviving the language that brought us the Jak & Daxter Series

Simulation tools for animating interacting soft objects

A slow-paced introduction to reflection in Agda. ---Tactics!

Fast Automatic Skinning Transformations

Matlab toolbox for Geometry Processing.

Eulerian-on-Lagrangian Cloth Simulation

Repository containing common 3D test models in original format with original source if known and obj mesh

Utility to ease bundling libraries into executables for OSX

This is the header-only version of the code we used for the experiments in the paper "Fast and Robust Mesh Arrangements using Floating-point Arithmetic" by G. Cherchi, M. Livesu, R. Scateni and M. …