Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

Lightpanda: the headless browser designed for AI and automation

Google Research

📚 A curated list of papers for Software Engineers

Educational framework exploring ergonomic, lightweight multi-agent orchestration. Managed by OpenAI Solution team.

A very fast linker for Linux

Version control that works the way you think

Janus-Series: Unified Multimodal Understanding and Generation Models

How to be low-level programmer

An SVG rendering library.

🎸🪘🪄 Make DSP Great Again. The Chata programming language!

isd (interactive systemd) – a better way to work with systemd units

MicroPie is an ultra-micro ASGI Python web framework that gets out of your way.

An awesome list of papers and tools about the class activation map (CAM) technology.

Convert scikit-learn models to PyTorch modules

SimpleITK: a layer built on top of the Insight Toolkit (ITK), intended to simplify and facilitate ITK's use in rapid prototyping, education and interpreted languages.

The Unity Machine Learning Agents Toolkit (ML-Agents) is an open-source project that enables games and simulations to serve as environments for training intelligent agents using deep reinforcement …

Awesome Game AI materials of Multi-Agent Reinforcement Learning

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

A robust message queue system for Rust applications, designed as a Rust alternative to Celery.

A fully configurable Gymnasium compatible Tetris environment

An OpenAI Gym environment for the Flappy Bird game

A training framework for Stable Baselines3 reinforcement learning agents, with hyperparameter optimization and pre-trained agents included.

A collection of 100+ pre-trained RL agents using Stable Baselines, training and hyperparameter optimization included.

Injectable LUA scripting system, SDK generator, live property editor and other dumping utilities for UE4/5 games

🪽 An open, easy, fast, reliable and battery-efficient solution for real-time communications

Framework for building scalable agentic applications.

OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.

Retro games for Reinforcement Learning

Backend processor for BibLaTeX