An open-source AI agent that brings the power of Gemini directly into your terminal.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

The Omni Printer driver. Modified to compile on more modern compilers.

A beautiful portfolio Jekyll theme that works with GitHub Pages.

LLM Analytics

Build agents which are controlled by LLMs

LLM inference in C/C++

Locally run an Instruction-Tuned Chat-Style LLM

MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

Loose taxonomy of reinforcement learning algorithms

A networking protocol for agent-environment communication

by ex-googlers, for ex-googlers - a lookup table of similar tech & services

Public/backup repository of the GROMACS molecular simulation toolkit. Please do not mine the metadata blindly; we use https://gitlab.com/gromacs/gromacs for code review and issue tracking.

MDAnalysis is a Python library to analyze molecular dynamics simulations.

Public development project of the LAMMPS MD software package

A swiss army knife CLI tool for interacting with Kafka, RabbitMQ and other messaging systems.

Deck of Cards (old version)

Rubi for Mathematica

an interactive web-app for learning nades in CS:GO

a python game inspired by the 90s Bop It! toy

Pampy: The Pattern Matching for Python you always dreamed of.

An experimental Javascript parser and just-in-time compiler written in Rust

ECMAScript implementation in Rust

a python discord bot with Markov chain responses, slots, and more

Python solutions for Elements of Programming Interviews

☕ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.

Ethereum peer-to-peer networking specifications

A tutorial implementation of the Ethereum protocol in python