OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving (ATP)

Turn notes into animated explainer videos in the style popularized by 3Blue1Brown. Claude Code skill + Manim + TTS + ffmpeg.

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

Manipulation Skill Framework, an open source GPU parallelized robotics simulator and benchmark

Create motion for any robot through editing keyframe

Safe rust wrapper around CUDA toolkit

Rust Test Bench - write HDL tests in Rust.

Tile primitives for speedy kernels

Drogon: A C++14/17/20 based HTTP web application framework running on Linux/macOS/Unix/Windows

tmux source code

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Open source transactional distributed database. Linear scalability and proven fault-tolerance on commodity hardware or cloud infrastructure without compromising performance.

⭐ Vim for Visual Studio Code

Linux kernel source tree

Build and share delightful machine learning apps, all in Python. 🌟 Star to support our work!

🧑‍🏫 60+ Implementations/tutorials of deep learning papers with side-by-side notes 📝; including transformers (original, xl, switch, feedback, vit, ...), optimizers (adam, adabelief, sophia, ...), ga…

Blazing fast Neovim framework providing solid defaults and a beautiful UI, enhancing your neovim experience.

Ready-to-use OCR with 80+ supported languages and all popular writing scripts including Latin, Chinese, Arabic, Devanagari, Cyrillic and etc.

Simple renderer for use with MuJoCo (>=2.1.2) Python Bindings.

PyTorch implementation of Advantage Actor Critic (A2C), Proximal Policy Optimization (PPO), Scalable trust-region method for deep reinforcement learning using Kronecker-factored approximation (ACKT…

An autonomous, vision-based Bebop drone.

Apache Cordova Android

Visual Studio Code

Vim-fork focused on extensibility and usability

A powerful cross-platform UI toolkit for building native-quality iOS, Android, and Progressive Web Apps with HTML, CSS, and JavaScript.

coc.nvim integration for telescope.nvim

📝A simple and elegant markdown editor, available for Linux, macOS and Windows.

The Ultimate NeoVim Config for Colemak Users