lean-dojo / LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
See what the GitHub community is most excited about today.
LLMs as Copilots for Theorem Proving in Lean
Cartographer is a system that provides real-time simultaneous localization and mapping (SLAM) in 2D and 3D across multiple platforms and sensor configurations.
ArduPlane, ArduCopter, ArduRover, ArduSub source
A set of fully-undetectable process injection techniques abusing Windows Thread Pools
The Swift Programming Language
TensorRT-LLM provides users with an easy-to-use Python API to define Large Language Models (LLMs) and build TensorRT engines that contain state-of-the-art optimizations to perform inference efficiently on NVIDIA GPUs. TensorRT-LLM also contains components to create Python and C++ runtimes that execute those TensorRT engines.
YimMenu, a GTA V menu protecting against a wide ranges of the public crashes and improving the overall experience.
Universal Scene Description
ClickHouse® is a free analytics DBMS for big data
Fast C++ logging library.
GoogleTest - Google Testing and Mocking Framework
Public development project of the LAMMPS MD software package
Protocol Buffers - Google's data interchange format
Spam Apple Proximity Messages via an ESP32
TrinityCore Open Source MMO Framework (master = 10.2.0.52545, 3.3.5 = 3.3.5a.12340)
C++ implementation of the Google logging module
Asio C++ Library
Improved version of the X-Ray Engine, the game engine used in the world-famous S.T.A.L.K.E.R. game series by GSC Game World. Join OpenXRay! ;)
A YAML parser and emitter in C++
Main gperftools repository
Cross-platform ground control station for drones (Android, iOS, Mac OS, Linux, Windows)
DuckDB is an in-process SQL OLAP Database Management System
Android NDK samples with Android Studio
Yoga is a cross-platform layout engine which implements Flexbox. Follow https://twitter.com/yogalayout for updates.