LLM inference in C/C++

A dialect of lisp for experimenting with type theory

A deep learning tactics library for Rocq

OCaml support

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/

GAS: Group Algebra System

A compiler from C to Risc-V

Cheat Sheet for Factorio

A package manager and build system for C/C++

Lenient parsing functions for Gleam, modeled after Python's `int()` and `float()` built-ins.

HoTTEST Summer School materials

A common interface for quadrature and numerical integration for the SciML scientific machine learning organization

Mathematical Components

[NeurIPS 2023] Reflexion: Language Agents with Verbal Reinforcement Learning

A Learning Environment for Theorem Proving with the Coq proof assistant

Rewrite Rule Inference Using Equality Saturation

Metamath source file for logic and set theory

Learn about the Neumorphic engineering process of creating large-scale integration (VLSI) systems containing electronic analog circuits to mimic neuro-biological architectures.

GuBPI – an analyzer for probabilistic programs to compute guaranteed bounds on the posterior

StyleGAN2 - Official TensorFlow Implementation

A free, open-source developer workspace. Snippets, notes, HTTP requests, calculations, and dev tools in one local-first app.

VATA Tree Automata Library

Tree Automata library for Rust.

Coq to Rust program extraction. The whole tree is on the original Coq code base.

An application that demonstrates how to solve a maze using Q Learning

C Bounded Model Checker

Format Rust code