yungene's Stars
kamranahmedse/developer-roadmap
Interactive roadmaps, guides and other educational content to help developers grow in their careers.
anuraghazra/github-readme-stats
:zap: Dynamically generated stats for your github readmes
facebook/rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
nginx/nginx
The official NGINX Open Source repository.
rqlite/rqlite
The lightweight, user-friendly, distributed relational database built on SQLite.
microsoft/IoT-For-Beginners
12 Weeks, 24 Lessons, IoT for All!
ttroy50/cmake-examples
Useful CMake Examples
activepieces/activepieces
Your friendliest open source all-in-one automation tool ✨ Workflow automation tool 200+ integration / Enterprise automation tool / Zapier Alternative
a8m/golang-cheat-sheet
An overview of Go syntax and features.
sqlite/sqlite
Official Git mirror of the SQLite source tree
pixelfed/pixelfed
Photo Sharing. For Everyone.
JerryLead/SparkInternals
Notes talking about the design and implementation of Apache Spark
nrc/r4cppp
Rust for C++ programmers
geohot/minikeyvalue
A distributed key value store in under 1000 lines. Used in production at comma.ai
lbryio/lbrycrd
The blockchain that provides the digital content namespace for the LBRY protocol
Farama-Foundation/HighwayEnv
A minimalist environment for decision-making in autonomous driving
pwsafe/pwsafe
Password Safe - popular secure and convenient password manager
BafS/Java8-CheatSheet
A Java 8+ Cheat Sheet for functional programming
AaronKelley/DellFanManagement
A suite of tools for managing the fans in many Dell laptops.
denizalti/paxosmmc
Paxos Made Moderately Complex
cocagne/multi-paxos-example
Example multi-paxos application for those learning Paxos & multi-paxos
muratdem/PlusCal-examples
Pluscal/TLA+ modeling of distributed systems/protocols
trex-paxos/trex
Embeddable multi-Paxos For The JVM
sftcd/cs7053
This is the materials for CS7053
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).
TimonKnigge/TCR
Team Code Reference for programming contests
BurkeO/SWENG-Project-2019
Repo for the group programming project of 2019 @ TCD
sengleung/pifra
Generate labelled transition systems of pi-calculus models represented by fresh-register automata
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.
EZCodes/SPIN-PromelaRTEMSTestGen
SPIN/Promela based test generation framework for RTEMS Barrier Manager