shiredude95's Stars
avelino/awesome-go
A curated list of awesome Go frameworks, libraries and software
pi-hole/pi-hole
A black hole for Internet advertisements
etcd-io/etcd
Distributed reliable key-value store for the most critical data of a distributed system
karanpratapsingh/system-design
Learn how to design systems at scale and prepare for system design interviews
guidance-ai/guidance
A guidance language for controlling large language models.
DvorakDwarf/Infinite-Storage-Glitch
ISG lets you use YouTube as cloud storage for ANY files, not just video
gurugio/lowlevelprogramming-university
How to be low-level programmer
Workiva/go-datastructures
A collection of useful, performant, and threadsafe Go datastructures.
librosa/librosa
Python library for audio and music analysis
Haxxnet/Compose-Examples
Various Docker Compose examples of selfhosted FOSS and proprietary projects.
binpash/try
Inspect a command's effects before modifying your live system
thoas/go-funk
A modern Go utility library which provides helpers (map, find, contains, filter, ...)
p-org/P
The P programming language.
obi1kenobi/trustfall
A query engine for any combination of data sources. Query your files and APIs as if they were databases!
klauspost/reedsolomon
Reed-Solomon Erasure Coding in Go
hashicorp-forge/hermes
A document management system
SoCo/SoCo
SoCo (Sonos Controller) is a Python project that allows you to programmatically control Sonos speakers.
CPJKU/madmom
Python audio and music signal processing library
elanmart/cbp-translate
tlaplus/DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Backblaze/JavaReedSolomon
Backblaze Reed-Solomon Implementation in Java
roma-glushko/awesome-distributed-system-projects
🚀 List of distributed system projects for inspiration and learning to build distributed services from real world examples
fp-tower/foundations
Foundations of Functional Programming in Scala is a comprehensive, self-paced online course with no prerequisites, which helps you to become a confident, productive, and powerful functional Scala developer.
tlaplus/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
kevinschaich/billboard
🎤 Lyrics/associated NLP data for Billboard's Top 100, 1950-2015.
deadpixi/rope
A persistent rope in Go
muratdem/PlusCal-examples
Pluscal/TLA+ modeling of distributed systems/protocols
quux00/PlusCal-Examples
Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
somethingnew2-0/go-erasure
Erasure coding (Reed–Solomon coding) in Go
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).