codeworm96

Zhang Yuning's starred repositories

sled

the champagne of beta embedded databases

Language:RustApache-2.07868 133 578

krita-ai-diffusion

Streamlined interface for generating images with AI in Krita. Inpaint and outpaint with optional text prompt, no tweaking required.

Language:PythonGPL-3.05406 51 695

renpy

The Ren'Py Visual Novel Engine

Language:Ren'Py4680 141 3806

async-std

Async version of the Rust standard library

Language:RustApache-2.03860 65 423

dafny

Dafny is a verification-aware programming language

Language:C#NOASSERTION2829 80 2606

ShaderConductor

ShaderConductor is a tool designed for cross-compiling HLSL to other shading languages

Language:C++MIT1738 94 54

noisepage

Self-Driving Database Management System from Carnegie Mellon University

Language:C++MIT1734 86 596

zCore

Zircon microkernel reimplemented in Rust.

Language:RustMIT1686 57 92

rust-quiz

Medium to hard Rust questions with explanations

Language:RustCC-BY-SA-4.01610 33 33

human-panic

Panic messages for humans.

Language:RustApache-2.01570 15 37

rustsec

RustSec API & Tooling

Language:RustNOASSERTION1544 19 305

YUKI

YUKI Galgame Translator

Language:TypeScriptGPL-3.01478 20 137

haskell-trainings

Haskell 101 and 102: slides and codelabs

Language:HaskellApache-2.01376 63 10

bumpalo

A fast bump allocation arena for Rust

Language:RustApache-2.01335 17 109

egg

egg is a flexible, high-performance e-graph library

Language:RustMIT1267 24 128

book

V2 of Real World OCaml

Language:OCamlNOASSERTION1167 46 3069

http

Rust HTTP types

Language:RustApache-2.01107 36 286

MIRAI

Rust mid-level IR Abstract Interpreter

Language:RustMIT977 22 127

datasketches-java

A software library of stochastic streaming algorithms, a.k.a. sketches.

Language:JavaApache-2.0874 59 78

base

Standard library for OCaml

Language:OCamlMIT831 36 100

safety-dance

Auditing crates for unsafe code which can be safely replaced

Apache-2.0527 42 60

BwTree

An open sourced implementation of Bw-Tree in SQL Server Hekaton

Language:C++Apache-2.0452 26 32

egglog

egraphs + datalog!

Language:RustMIT372 11 137

bughunt-rust

QuickCheck bug hunting in Rust standard library data structures

Language:RustMIT160 14 6

ssg

秋霜玉

Language:C++MIT157 110

ocaml-raft

Implementation of Raft consensus algorithm

Language:OCamlMIT112 15 2

Magical-Language-Lyrical-Lisp

A Lisp tutorial game

BSD-3-Clause73 6 9

minilatex

parse MiniLaTeX source text and render it into HTML

Language:Elm57 6 3

hongbao-2019-bbox

Language:Python4 10

cse505

Language:Coq2 30