A collection of formalized statements of conjectures in Lean.

aider is AI pair programming in your terminal

🎁 A collection of utilities for LeRobot.

Mujoco sim environment for imitation learning and reinforcement learning with so101 and so100 robots.

XLeRobot: Practical Dual-Arm Mobile Home Robot for $660

🤗 LeRobot: Making AI for Robotics more accessible with end-to-end learning

The open source coding agent.

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

The Software Ontology (SWO) is a resource for describing software tools, their types, tasks, versions, licences, provenance and associated data.

CLIP + FFT/DWT/RGB = text to image/video

Program to crack a Playfair cipher using Simulated Annealing

Multiplatform desktop app for systematic literature collection.

Kotlin library for OpenAlex

OpenAlex Networks is a helper library to process and obtain data from the OpenAlex dataset via API. It also provides functionality to generate citation and coauthorship networks from queries.

process raw reads from ubiome

Scientific computing in Lean 4

Package registry for Lean/Lake.

Mathlib search tool

The math library of Lean 4

Formalizing "Proofs from THE BOOK"

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

Lean Theorem Prover plugin for Vim.

My personal frontpage app

🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

Embed Python in Java

WordNet Similarity for Java provides an API for several Semantic Relatedness/Similarity algorithms

Bayesian Modeling and Probabilistic Programming in Python