Open-source simulator for autonomous driving research.
A Lean version manager
Lean Theorem Prover
Mirror only. Please do not send pull requests.
c-lightning — a Lightning Network implementation in C
Lightning Network Specifications
Mastering the Lightning Network (LN)
Lightning Network Daemon ⚡️
This is now the official location of the Merlin project.
Tutorials, assignments, and competitions for MIT Deep Learning related courses.
Rust-Lightning, not Rusty's Lightning
A ROS/ROS2 Multi-robot Simulator for Autonomous Vehicles
Deezer source separation library including pretrained models.
A TensorFlow implementation of Google's Tacotron speech synthesis with pre-trained model (unofficial)
Standalone JIT-style runtime for WebAssembly, using Cranelift
Rust framework for building client web apps