egg is a flexible, high-performance e-graph library

Powerful scripting language & versatile interactive shell

Wear a screen on your head

Godot Engine – Multi-platform 2D and 3D game engine

A scalable, distributed Time Series Database.

A time-series database for high-performance real-time analytics packaged as a Postgres extension

F´ - A flight software and embedded systems framework

A post-modern modal text editor.

Official mirror of Blender

Open-source implementation of the K programming language

🧸 A Hugo theme based on »Bear Blog«. Free, no-nonsense, super-fast blogging. This theme now includes a dark color scheme to support dark mode 🦉 ⬛️!

A production-quality expert-system shell, written in thoroughly modern Common Lisp.

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

higher realizability topos

Gambit is an efficient implementation of the Scheme programming language.

Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information about all notions of mathematical infinity.

Our Submission to the PACE 2024 Challenge

Lecture notes for COMP6741 - Algorithms for intractable problems

Experimental implementation of Cubical Type Theory

Demo for high-performance type theory elaboration

All your angery are belong to us

Formalisations for simplicial HoTT and synthetic ∞-categories.

Agda is a dependently typed programming language / interactive theorem prover.

A markup-based typesetting system that is powerful and easy to learn.

Conference on Homotopy Type Theory 2023

high-performance cubical evaluation

Free, no-nonsense, super fast blogging.