A LLM-friendly framework for translating dynamical equations to gymnasium-compatible RL environments.

Resproducible research material for the numerical examples of the PhD dissertation `Nonparametric independence tests in high-dimensional settings, with applications to the genetics of complex disease'

A fast, highly extensible, and event driven SMTP server

Integrate any AI pair-programming API available on your local network into your Jetbrains IDEs. The plugin provides a tool window that can be accessed through the toolbar.

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

An analysis tool for Python that blurs the line between testing and type systems.

Dafny is a verification-aware programming language

Replacing standard support propagation by belief propagation in MiniCP

A simple constraint solver.

High-quality single-file implementations of SOTA Offline and Offline-to-Online RL algorithms: AWAC, BC, CQL, DT, EDAC, IQL, SAC-N, TD3+BC, LB-SAC, SPOT, Cal-QL, ReBRAC

Latent video diffusion

Jupyter notebook for the interpretablity section of the minetester blog post

Multiversal tree writing interface for human-AI collaboration

A library for mechanistic interpretability of GPT-style language models

Mechanistic Interpretability Visualizations using React

A repo for distributed training of language models with Reinforcement Learning via Human Feedback (RLHF)

Baseline agents for Minetest tasks.

Minetest is an open source voxel game engine with easy modding and game creation

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

A complete computer science study plan to become a software engineer.

📚 Freely available programming books

freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.

🐢 🌎 📚 a community-owned language-learning platform

An API standard for multi-agent reinforcement learning environments, with popular reference environments and related utilities

An editor and viewer for Portable Tak Notation

📺 Discover the latest machine learning / AI courses on YouTube.

A Software Framework for Neuromorphic Computing

A simple configurable bot for sending arXiv article alert by mail