seckcoder

seckcoder's Stars

• intel/pcm

  Intel® Performance Counter Monitor (Intel® PCM)

  Language:C++2.8k477

• databendlabs/databend

  𝗗𝗮𝘁𝗮, 𝗔𝗻𝗮𝗹𝘆𝘁𝗶𝗰𝘀 & 𝗔𝗜. Modern alternative to Snowflake. Cost-effective and simple for massive-scale analytics. https://databend.com

  Language:Rust7.9k752

• ray-project/ray

  Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

  Language:Python34.2k5.8k

• grantjenks/python-sortedcontainers

  Python Sorted Container Types: Sorted List, Sorted Dict, and Sorted Set

  Language:Python3.6k206

• phil-opp/blog_os

  Writing an OS in Rust

  Language:HTML15.9k1.1k

• heidihoward/distributed-consensus-reading-list

  A list of papers about distributed consensus.

  2.5k213

• pingcap/awesome-database-learning

  A list of learning materials to understand databases internals

  9.5k1.1k

• dropbox/load_management

  This repository contains Go utilities for managing isolation and improving reliability of multi-tenant systems.

  Language:Go5415

• cuplv/dist-prog-19sp

  Distributed Programming reading group (Spring 2019)

  7

• openark/orchestrator

  MySQL replication topology management and HA

  Language:Go5.6k936

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown315k29.2k

• microsoft/AirSim

  Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research

  Language:C++16.5k4.6k

• andybarry/flight

  Flight code for MIT CSAIL Robot Locomotion Group flying-through-forests project

  Language:C977267

• apple/foundationdb

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

  Language:C++14.6k1.3k

• Steve132/uraster

  Micro simple Rasterizer in a single C++11 header file.

  Language:C34625

• airbnb/SpinalTap

  Change Data Capture (CDC) service

  Language:Java43864

• envoyproxy/envoy

  Cloud-native high-performance edge/middle/service proxy

  Language:C++25.1k4.8k

• jbhuang0604/awesome-computer-vision

  A curated list of awesome computer vision resources

  21.1k4.3k

• rxin/db-readings

  Readings in Databases

  7.7k899

• mysql/mysql-connector-j

  MySQL Connector/J

  Language:Java917590

• facebookincubator/OnlineSchemaChange

  A tool for performing online schema changes on MySQL.

  Language:Python968147

• github/gh-ost

  GitHub's Online Schema-migration Tool for MySQL

  Language:Go12.4k1.3k

• airbnb/MaxScale

  An intelligent database proxy.

  Language:C7021

• cisco/ChezScheme

  Chez Scheme

  Language:Scheme7k987

• functionaljava/functionaljava

  Functional programming in Java

  Language:Java1.6k253

• haskell/haskell-ide-engine

  The engine for haskell ide-integration. Not an IDE

  Language:Haskell2.4k209

• type-theory/type-theory-study-group

  Resources for the online Type Theory Study Group

  16018

• robsimmons/hot-notes

  Personal notes for 15-417, Higher-Order Typed Compilation, at CMU. Buyer beware.

  2

• jozefg/hotc

  Notes on higher-order typed compilation. Probably wrong

  Language:TeX29

• seckcoder/seck-scheme

  A scheme compiler that directly compiles to x86(In Progress)

  Language:Scheme6