yungene

yungene's Stars

• kamranahmedse/developer-roadmap

  Interactive roadmaps, guides and other educational content to help developers grow in their careers.

  Language:TypeScript289k6.8k2.2k38.3k

• anuraghazra/github-readme-stats

  :zap: Dynamically generated stats for your github readmes

  Language:JavaScript67.8k2731.2k22.2k

• facebook/rocksdb

  A library that provides an embeddable, persistent key-value store for fast storage.

  Language:C++28.2k1k3.2k6.3k

• nginx/nginx

  The official NGINX Open Source repository.

  Language:C21k99406.7k

• rqlite/rqlite

  The lightweight, user-friendly, distributed relational database built on SQLite.

  Language:C15.5k231526704

• microsoft/IoT-For-Beginners

  12 Weeks, 24 Lessons, IoT for All!

  Language:C++15.1k3301272.4k

• ttroy50/cmake-examples

  Useful CMake Examples

  Language:CMake12.3k186432.5k

• activepieces/activepieces

  Your friendliest open source all-in-one automation tool ✨ Workflow automation tool 200+ integration / Enterprise automation tool / Zapier Alternative

  Language:TypeScript9.1k561.3k1.1k

• a8m/golang-cheat-sheet

  An overview of Go syntax and features.

  8.3k205271.1k

• sqlite/sqlite

  Official Git mirror of the SQLite source tree

  Language:C6.2k1190948

• pixelfed/pixelfed

  Photo Sharing. For Everyone.

  Language:PHP5.6k1102.2k664

• JerryLead/SparkInternals

  Notes talking about the design and implementation of Apache Spark

  5.3k618331.8k

• nrc/r4cppp

  Rust for C++ programmers

  Language:Rust3.6k9355285

• geohot/minikeyvalue

  A distributed key value store in under 1000 lines. Used in production at comma.ai

  Language:Go2.9k6512248

• lbryio/lbrycrd

  The blockchain that provides the digital content namespace for the LBRY protocol

  Language:C++2.6k50178178

• Farama-Foundation/HighwayEnv

  A minimalist environment for decision-making in autonomous driving

  Language:Python2.5k29455731

• pwsafe/pwsafe

  Password Safe - popular secure and convenient password manager

  Language:C++71737504148

• BafS/Java8-CheatSheet

  A Java 8+ Cheat Sheet for functional programming

  499202172

• AaronKelley/DellFanManagement

  A suite of tools for managing the fans in many Dell laptops.

  Language:C#248112930

• denizalti/paxosmmc

  Paxos Made Moderately Complex

  Language:Python1703846

• cocagne/multi-paxos-example

  Example multi-paxos application for those learning Paxos & multi-paxos

  Language:Python9061031

• muratdem/PlusCal-examples

  Pluscal/TLA+ modeling of distributed systems/protocols

  Language:TLA785020

• trex-paxos/trex

  Embeddable multi-Paxos For The JVM

  Language:Scala735245

• sftcd/cs7053

  This is the materials for CS7053

  Language:PostScript288018

• cwi-swat/tla-ci

  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/978-3-030-67220-1_4) Based on Crooks' Isolation (https://dl.acm.org/doi/10.1145/3087801.3087802).

  Language:TLA24512

• TimonKnigge/TCR

  Team Code Reference for programming contests

  Language:C++24465

• BurkeO/SWENG-Project-2019

  Repo for the group programming project of 2019 @ TCD

  Language:Java8513

• sengleung/pifra

  Generate labelled transition systems of pi-calculus models represented by fresh-register automata

  Language:Go4302

• OisinNolan/Elo_Predictor

  Machine learning project aiming to predict player Elo ratings from a given chess game. Group project for a module on Machine Learning @ TCD.

  Language:Jupyter Notebook3201

• EZCodes/SPIN-PromelaRTEMSTestGen

  SPIN/Promela based test generation framework for RTEMS Barrier Manager

  Language:C21