Handora

Handora's Stars

• Snapchat/KeyDB

  A Multithreaded Fork of Redis

  Language:C++11.5k153632579

• github/semantic

  Parsing, analyzing, and comparing source code across many languages

  Language:Haskell9k404271452

• fool2fish/dragon-book-exercise-answers

  Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理（紫龙书）第2版习题答案。

  Language:HTML6.4k3081151.8k

• syndtr/goleveldb

  LevelDB key/value database in Go.

  Language:Go6.2k181283967

• OpenAtomFoundation/TobudOS

  开放原子开源基金会孵化的物联网操作系统，捐赠前为腾讯物联网终端操作系统TencentOS Tiny

  6k296631.6k

• hedengcheng/tech

  programming, database, distributed system

  3.4k3269862

• rajasekarv/vega

  A new arguably faster implementation of Apache Spark from scratch in Rust

  Language:Rust2.2k11765205

• thestr4ng3r/chiaki

  Moved to https://git.sr.ht/~thestr4ng3r/chiaki - Free and Open Source PS4 Remote Play Client

  2.2k78317368

• tidwall/summitdb

  In-memory NoSQL database with ACID transactions, Raft consensus, and Redis API

  Language:Go1.4k462876

• illinois-cs241/coursebook

  Open Source Introductory Systems Programming Textbook for the University of Illinois

  Language:TeX6933513585

• taskflow/awesome-parallel-computing

  A curated list of awesome parallel computing resources

  68433066

• mit-pdos/xv6-riscv-book

  Text describing xv6 on RISC-V

  Language:TeX6682715141

• bos/stanford-cs240h

  Course materials for Stanford CS240h, "Functional Systems in Haskell"

  Language:Haskell64952165

• jonhoo/rust-tcp

  A learning experience in implementing TCP in Rust

  Language:Rust49616462

• ongardie/raft.tla

  TLA+ specification for the Raft consensus algorithm

  Language:TLA46521973

• commercialhaskell/commercialhaskell

  A special interest group for companies and individuals interested in commercial usage of Haskell

  452523113

• TimoKersten/db-engine-paradigms

  Collection of experiments to carve out the differences between two types of relational query processing engines: Vectorizing (interpretation based) engines and compiling engines.

  Language:C++2536362

• datatechnology/jraft

  Yet another Raft Consensus implementation

  Language:Java17819559

• zouxiaohang/TheArtOFMultiprocessorProgramming

  多处理器编程的艺术

  Language:Java1168024

• decaf-lang/decaf

  The new Decaf compiler, rewritten in "modern" Java

  Language:Java6111428

• decaf-lang/decaf-rs

  The Decaf compiler, written in Rust

  Language:Rust56669

• briandowns/super-hacker

  SuperHacker is the ultimate utility to make you look like a hacker.

  Language:Go48513

• craue/SouthParkDownloader

  download South Park episodes from official sources

  Language:PHP385249

• francis0407/SQL-Engine-On-LSM

  A toy SQL engine built on top of LSM(LevelDB)

  Language:C++24103

• decaf-lang/decaf-book-spec

  The Decaf Book（中文）。包含语言规范和框架文档。

  161216

• MashPlant/decaf-rs

  Framework of pa code for THU compiler principle course.

  Language:Rust13200

• stanford-futuredata/cs245-as1

  Student files for CS245 Programming Assignment 1: In-memory data layout

  Language:Java129050

• jiegec/online_decaf

  Online Decaf Compiler

  Language:Rust9301

• decaf-lang/decaf-in-scala

  The Decaf compiler, written in Scala

  Language:Scala7516

• equation314/decaf-vscode

  Decaf language syntax highlighting for Visual Studio Code

  7201