Javier Rojas's repositories
carla
Open-source simulator for autonomous driving research.
elan
A Lean version manager
lean
Lean Theorem Prover
libvpx
Mirror only. Please do not send pull requests.
lightning
c-lightning — a Lightning Network implementation in C
lightning-rfc
Lightning Network Specifications
lnbook
Mastering the Lightning Network (LN)
lnd
Lightning Network Daemon ⚡️
merlin
This is now the official location of the Merlin project.
mit-deep-learning
Tutorials, assignments, and competitions for MIT Deep Learning related courses.
MyEtherWallet
MyEtherWallet v5 codebase
platform-kendryte210
Kendryte K210: development platform for PlatformIO
rust-lightning
Rust-Lightning, not Rusty's Lightning
rust-wasi-tutorial
Rust version of the excellent WASI tutorial https://github.com/CraneStation/wasmtime/blob/master/docs/WASI-tutorial.md
simulator
A ROS/ROS2 Multi-robot Simulator for Autonomous Vehicles
spleeter
Deezer source separation library including pretrained models.
tacotron
A TensorFlow implementation of Google's Tacotron speech synthesis with pre-trained model (unofficial)
The-Lightning-Network-Book
An open source and crowdfunded book about Bitcoins Lightning Network to scale blockchain technologies.
trezor-mcu
:lock: Sources for TREZOR firmware
trezord-go
:smiling_imp: TREZOR Communication Daemon (written in Go)
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
yew
Rust framework for building client web apps
yocto-pitrezor
raspberry pi zero platform to run the trezor port pitrezor as a bitcoin wallet