Beast code in Giters

Xiadong Zhu's starred repositories

ant-design

An enterprise-class UI design language and React UI library

Language:TypeScriptMIT9082700

desktop

Focus on what matters instead of fighting with Git.

Language:TypeScriptMIT1940400

codis

Proxy based Redis cluster solution supporting pipeline and scaling dynamically

Language:GoMIT1309500

pyodide

Pyodide is a Python distribution for the browser and Node.js based on WebAssembly

Language:PythonMPL-2.01164300

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

algernon

Small self-contained pure-Go web server with Lua, Teal, Markdown, Ollama, HTTP/2, QUIC, Redis and PostgreSQL support

Language:GoBSD-3-Clause269000

nes-rust

NES emulator written in Rust + WASM

Language:RustMIT20400

Nim

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

Language:NimNOASSERTION1620700

terminal-proxy

Proxy management tool for terminal.

Language:PythonMIT1800

better-docs

Beautiful toolbox for jsdoc generated documentation - with 'typescript', `category` and `component` plugins

Language:JavaScriptMIT84500

jpype

JPype is cross language bridge to allow Python programs full access to Java class libraries.

Language:PythonNOASSERTION106600

grain

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

Language:ReasonLGPL-3.0321100

gpython

gpython is a python interpreter written in go "batteries not included"

Language:GoBSD-3-Clause84000

book

V2 of Real World OCaml

Language:OCamlNOASSERTION116700

wasmer-python

🐍🕸 WebAssembly runtime for Python

Language:RustMIT197500

wasmer

🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten

Language:RustMIT1814700

ctags

A maintained ctags implementation

Language:CGPL-2.0637100

tagbar

Vim plugin that displays tags in a window, ordered by scope

Language:Vim ScriptNOASSERTION607800

assemblyscript

A TypeScript-like language for WebAssembly.

Language:WebAssemblyApache-2.01656300

vimwiki

Personal Wiki for Vim

Language:Vim ScriptNOASSERTION862800

tinygo

Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.

Language:GoNOASSERTION1467900

sarama

Sarama is a Go library for Apache Kafka.

Language:GoMIT1117700

iced

A cross-platform GUI library for Rust, inspired by Elm

Language:RustMIT2325600

wasmtime

A fast and secure runtime for WebAssembly

Language:RustApache-2.01476700

awesome-python-typing

Collection of awesome Python types, stubs, plugins, and tools to work with them.

CC-BY-SA-4.0162900

nsq

A realtime distributed messaging platform

Language:GoMIT2470300

micro

A Go service development platform

Language:GoApache-2.01204600

gin

Gin is a HTTP web framework written in Go (Golang). It features a Martini-like API with much better performance -- up to 40 times faster. If you need smashing performance, get yourself some Gin.

Language:GoMIT7652400

awesome-go

A curated list of awesome Go frameworks, libraries and software

Language:GoMIT12399000

go

The Go programming language

Language:GoBSD-3-Clause12086200

akerust