TimeExceed

followers

following

stars

Shanghai, China

Taoda's starred repositories

mojo

The Mojo Programming Language

Language:MojoNOASSERTION2186800

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.018400

compiler

Compiler for Elm, a functional language for reliable webapps.

Language:HaskellBSD-3-Clause746200

GM-Standards

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

fp-core.rs

A library for functional programming in Rust

Language:RustMIT131000

tokio

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

Language:RustMIT2513800

d2l-zh

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

Language:PythonApache-2.05792200

awesome-rust

A curated list of Rust code and resources.

Language:RustCC0-1.04390400

gpb

A Google Protobuf implementation for Erlang

Language:ErlangNOASSERTION54700

aliyun-tablestore-java-sdk

Aliyun TableStore(原OTS) JAVA SDK

Language:JavaApache-2.05300

proxygen

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

Language:C++NOASSERTION804400

infer

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

Language:OCamlMIT1476800

luacheck

A tool for linting and static analysis of Lua code.

Language:LuaMIT189300

z3

The Z3 Theorem Prover

Language:C++NOASSERTION989400

bazel

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

Language:JavaApache-2.02259300

halt

OS where everything is immutable! (Experimental)

Language:Rust27300