sky7drake

followers

following

stars

http://sky7drake.github.io

sky Drake's starred repositories

Bend

A massively parallel, high-level programming language

Language:RustApache-2.01619300

quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Language:TypeScriptApache-2.060000

triton

Development repository for the Triton language and compiler

Language:C++MIT1163600

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaApache-2.01017000

abstract-algorithm

Optimal evaluator of λ-calculus terms.

Language:JavaScript26200

inpla

Inpla: Interaction nets as a programming language (the current version)

Language:YaccMIT26500

anna

A low-latency, cloud-native KVS

Language:C++Apache-2.069100

AliSQL

AliSQL is a MySQL branch originated from Alibaba Group. Fetch document from Release Notes at bottom.

Language:C++GPL-2.0469000

awesome-fenix

讨论如何构建一套可靠的大型分布式系统

Language:Vue851200

smallchat

A minimal programming example for a chat server

Language:C705000

generative-ai-for-beginners

18 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/

Language:Jupyter NotebookMIT4701200

tech_summary

Technical summary, talks, articles

Language:Jupyter Notebook2000

awesome-distributed-systems

A curated list to learn about distributed systems

foundationdb

FoundationDB - the open source, distributed, transactional key-value store

Language:C++Apache-2.01412800

system-design-resources

These are the best resources for System Design on the Internet

GPL-3.01480200

duckdb

DuckDB is an analytical in-process SQL database management system

Language:C++MIT1901400

testing-distributed-systems

Curated list of resources on testing distributed systems

Language:HTMLCC-BY-4.0243900

PruningRadixTrie

PruningRadixTrie - 1000x faster Radix trie for prefix search & auto-complete

Language:C#MIT51300

rCore-Tutorial-v3

Let's write an OS which can run on RISC-V in Rust from scratch!

Language:RustGPL-3.0150800

bustub

The BusTub Relational Database Management System (Educational)

Language:C++MIT375700

scapy

Scapy: the Python-based interactive packet manipulation program & library.

Language:PythonGPL-2.01021100

risingwave

SQL stream processing, analytics, and management. We decouple storage and compute to offer instant failover, dynamic scaling, speedy bootstrapping, and efficient joins.

Language:RustApache-2.0646600

leveldb

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

Language:C++BSD-3-Clause3537200

ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

Language:C++NOASSERTION7500

dslabs

Distributed Systems Labs and Framework

Language:Java114400

paper-reading

深度学习经典、新论文逐段精读

Apache-2.02468700

Cemu

Cemu - Wii U emulator

Language:C++MPL-2.0654000

BELLE

BELLE: Be Everyone's Large Language model Engine（开源中文对话大模型）

Language:HTMLApache-2.0765200

stanford_alpaca

Code and documentation to train Stanford's Alpaca models, and generate the data.

Language:PythonApache-2.02902700

semantic-kernel

Integrate cutting-edge LLM technology quickly and easily into your apps

Language:C#MIT1898300