Beast code in Giters

a4a881d4's repositories

awesome-rust

A curated list of Rust code and resources.

Language:Rust020

bfe

Open-source layer 7 load balancer derived from proprietary Baidu FrontEnd

Apache-2.0000

BullshitGenerator

Needs to generate some texts to test if my GUI rendering codes good or not. so I made this.

MIT000

circuitlabhack

circuit lab UI is bueatiful

Language:JavaScript020

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.1000

cpp11

Language:C++020

document

000

etherexplorer

ethereum explorer by web3

Language:JavaScriptMIT020

explorer

A lightweight ethereum block explorer

Language:JavaScriptGPL-2.0020

fpga

The USRP™ Hardware Driver FPGA Repository

Language:Verilog020

frp

A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.

Language:GoApache-2.0010

gitcrawling

crawling git repository

Language:GoGPL-3.0020

go-web3

Ethereum Go Client [obsolete]

GPL-3.0000

Kalman-and-Bayesian-Filters-in-Python

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.

Language:Jupyter NotebookNOASSERTION020