TimeExceed

followers

following

stars

Shanghai, China

Taoda's starred repositories

d2l-zh

《动手学深度学习》：面向中文读者、能运行、可讨论。中英文版被70多个国家的500多所大学用于教学。

Language:PythonApache-2.060972 10540

awesome-rust

A curated list of Rust code and resources.

Language:RustCC0-1.045616 815 134

tokio

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Language:RustMIT26299 313 2281

bazel

a fast, scalable, multi-language and extensible build system

Language:JavaApache-2.022921 607 13780

mojo

The Mojo Programming Language

Language:MojoNOASSERTION22776 266 2014

infer

A static analyzer for Java, C, C++, and Objective-C

Language:OCamlMIT14880 603 1370

z3

The Z3 Theorem Prover

Language:C++NOASSERTION10119 179 5474

proxygen

A collection of C++ HTTP libraries including an easy to use HTTP server.

Language:C++NOASSERTION8110 485 316

compiler

Compiler for Elm, a functional language for reliable webapps.

Language:HaskellBSD-3-Clause7504 205 1676

luacheck

A tool for linting and static analysis of Lua code.

Language:LuaMIT1908 55 186

fp-core.rs

A library for functional programming in Rust

Language:RustMIT1335 40 40

GM-Standards

中华人民共和国密码行业标准(GM/T)文本

gpb

A Google Protobuf implementation for Erlang

Language:ErlangNOASSERTION551 30 157

halt

OS where everything is immutable! (Experimental)

Language:Rust273 560

UHDM

Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, Visitor and Listener. Used as a compiled interchange format in between SystemVerilog tools. Compiles on Linux gcc, Windows msys2-gcc & msvc, OsX

Language:C++Apache-2.0190 19 115

aliyun-tablestore-java-sdk

Aliyun TableStore(原OTS) JAVA SDK

Language:JavaApache-2.054 21 16