Javier Rojas's repositories

bip39

A web tool for converting BIP39 mnemonic codes

Language:HTMLLicense:MITStargazers:0Issues:2Issues:0

carla

Open-source simulator for autonomous driving research.

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

design

WebAssembly Design Documents

License:Apache-2.0Stargazers:0Issues:2Issues:0

elan

A Lean version manager

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

lean

Lean Theorem Prover

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

ledgerjs

Ledger Nano / Nano S / Blue JavaScript APIs for Node.js and browsers

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0

libvpx

Mirror only. Please do not send pull requests.

Language:CLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

lightning

c-lightning — a Lightning Network implementation in C

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

lightning-rfc

Lightning Network Specifications

Language:PythonStargazers:0Issues:1Issues:0

lnbook

Mastering the Lightning Network (LN)

License:NOASSERTIONStargazers:0Issues:1Issues:0

lnd

Lightning Network Daemon ⚡️

Language:GoLicense:MITStargazers:0Issues:1Issues:0

merlin

This is now the official location of the Merlin project.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

mit-deep-learning

Tutorials, assignments, and competitions for MIT Deep Learning related courses.

Language:Jupyter NotebookLicense:MITStargazers:0Issues:1Issues:0

MyCrypto

MyCrypto is an open-source, client-side tool for generating ether wallets, handling ERC-20 tokens, and interacting with the blockchain more easily.

Language:TypeScriptLicense:MITStargazers:0Issues:2Issues:0

MyEtherWallet

MyEtherWallet v5 codebase

Language:VueLicense:MITStargazers:0Issues:2Issues:0

platform-kendryte210

Kendryte K210: development platform for PlatformIO

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

prysm

Go implementation of Ethereum 2.0 - casper & sharding

Language:GoLicense:GPL-3.0Stargazers:0Issues:2Issues:0

rskj

RSKj is a Java implementation of the RSK protocol.

Language:JavaLicense:LGPL-3.0Stargazers:0Issues:2Issues:0

rust-lightning

Rust-Lightning, not Rusty's Lightning

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

rust-wasi-tutorial

Rust version of the excellent WASI tutorial https://github.com/CraneStation/wasmtime/blob/master/docs/WASI-tutorial.md

Language:RustLicense:UnlicenseStargazers:0Issues:1Issues:0

simulator

A ROS/ROS2 Multi-robot Simulator for Autonomous Vehicles

Language:C#License:NOASSERTIONStargazers:0Issues:1Issues:0

spleeter

Deezer source separation library including pretrained models.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

tacotron

A TensorFlow implementation of Google's Tacotron speech synthesis with pre-trained model (unofficial)

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

tacotron2

Tacotron 2 - PyTorch implementation with faster-than-realtime inference

Language:Jupyter NotebookLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

The-Lightning-Network-Book

An open source and crowdfunded book about Bitcoins Lightning Network to scale blockchain technologies.

Language:TeXLicense:NOASSERTIONStargazers:0Issues:1Issues:0

trezor-mcu

:lock: Sources for TREZOR firmware

Language:CLicense:LGPL-3.0Stargazers:0Issues:2Issues:0

trezord-go

:smiling_imp: TREZOR Communication Daemon (written in Go)

Language:C++License:LGPL-3.0Stargazers:0Issues:2Issues:0

wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

yew

Rust framework for building client web apps

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

yocto-pitrezor

raspberry pi zero platform to run the trezor port pitrezor as a bitcoin wallet

Language:BitBakeLicense:MITStargazers:0Issues:2Issues:0