Skip to content
Switch branches/tags

Latest commit


Git stats


Failed to load latest commit information.
Latest commit message
Commit time

Nikita's 13,000+ GitHub Stars Thanks Lists

Curated list of my GitHub stars! Generated by stargazed

I can access every single repo here in seconds using GitHub Jump workflow

As there are over 13,000 stars & GitHub limits # of lines it can render in readme. This repo is split into multiple parts. See, and other files in this repo. Everything is sorted alphabetically. Can also use the search bar to search over this repo to find something you want.


Name Description Author Stars
1 VVVVVV The source code to VVVVVV! TerryCavanagh 5893
2 open-source-flash Petition to open source Flash and Shockwave spec open-source-flash 7220


Name Description Author Stars
1 gnat-llvm LLVM based GNAT compiler AdaCore 72
2 ada_language_server Server implementing the Microsoft Language Protocol for Ada and SPARK AdaCore 59
3 libadalang Ada semantic analysis library. AdaCore 73
4 CuBit General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64 docandrew 34


Name Description Author Stars
1 HoTT-Intro An introductory course to Homotopy Type Theory EgbertRijke 162
2 agda-categories A new Categories library for Agda agda 119
3 potpourri Where my everyday research happens gallais 32
4 hilbert-gentzen Agda formalisation of IPC, IS4, ICML, and ILP mietek 28
5 agda-sessions Learn the Agda basics in three 2-hour sessions. anuyts 41
6 gen-cart A Unifying Cartesian Cubical Set Model mortberg 24
7 frp_agda Functional Reactive Programming with Agda divipp 18
8 TypeTopology Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view. martinescardo 67
9 agda-from-nothing A workshop on learning Agda with minimal prerequisites. scott-fleischman 62
10 HoTT-UF-Agda-Lecture-Notes Lecture notes on univalent foundations of mathematics with Agda martinescardo 149
11 agda-prelude Programming library for Agda UlfNorell 93
12 agda-stdlib The Agda standard library agda 302
13 cat A formalization of category theory in cubical Agda fredefox 46
14 cubical An experimental library for Cubical Agda agda 181
15 cart-cube Cartesian Cubical Type Theory dlicata335 46
16 miller Miller/pattern unification in Agda Saizan 55
17 categories Categories parametrized by morphism equality, in Agda copumpkin 135
18 Introduction to programming language theory in Agda plfa 766
19 cats Category Theory in Agda. Learning exercise, not for public consumption. JLimperg 20


Name Description Author Stars
1 AppleScripts My collection of AppleScripts created/acquired over the years. This repo is designed to provide useful AppleScripts for others and as a general resource for AppleScript education. kevin-funderburg 48
2 applescript-json AppleScript JSON encoder mgax 36
3 AppleScriptive Functional AppleScripts operating out of Keyboard Maestro, Alfred and Automator to optimise productivity. ChristoferK 28
4 prelude-applescript Generic functions for macOS scripting with Applescript – function names as in Hoogle RobTrew 18
5 awesome-applescripts A collection of awesome, useful, not-so-obvious applescripts. briangonzalez 23
6 applescript Applescript applets, snippets, resources, and links unforswearing 238
7 alfred-taskpaper-workflow Alfred 3 workflow for TaskPaper robwalton 44
8 play-song An Alfred workflow for quickly and easily playing music in iTunes / Apple Music caleb531 54
9 alfred-iterm-sessions Alfred workflow to quickly select of one currently opened iTerm sessions madvas 33
10 alfred-notes Adds notes to surrealroad 38
11 marked-bonus-pack Scripts, commands, and services that make the Marked app for macOS more useful kotfu 175
12 custom-alfred-iterm-scripts AppleScript for iTerm2 Alfred integration. vitorgalvao 2206


Name Description Author Stars
1 anarki Community-managed fork of the Arc dialect of Lisp; for commit privileges submit a pull request. arclanguage 1028


Name Description Author Stars
1 Feather_TFT_LoRa_Sniffer Scans LoRa channels displaying any monitored packets on the TFT display ImprobableStudios 66
2 aaduino An AA sized ISM radio Arduino clone kanflo 823


Name Description Author Stars
1 rav1e The fastest and safest AV1 encoder. xiph 2040
2 SwiftTrace Trace Swift and Objective-C method invocations johnno1962 331
3 X86-64-semantics Semantics of x86-64 in K kframework 100
4 barebones9 Barebones amd64 kernel built using 9front majiru 17
5 arpilisp A Lisp interpreter for Raspberry Pi implemented in a single ARM assembly file marcpaq 376
6 ring Safe, fast, small crypto using Rust briansmith 1723
7 BLAKE3 official implementations of the BLAKE3 cryptographic hash function BLAKE3-team 1874
8 algorithm-archive A collaborative book on algorithms algorithm-archivists 1229
9 bootOS bootOS is a monolithic operating system in 512 bytes of x86 machine code. nanochess 1172
10 dissection The dissection of a simple "hello world" ELF binary. mewmew 419
11 caffe64 No dependency caffe replacement dfouhey 335
12 sample-os A sample OS as demonstrated in the book Operating System: From 0 to 1 tuhdo 376
13 cjdns An encrypted IPv6 network using public-key cryptography for address allocation and a distributed hash table for routing. cjdelisle 4387
14 compiler-explorer Run compilers interactively from your web browser and interact with the assembly compiler-explorer 7113
15 mal mal - Make a Lisp kanaka 6996
16 pics Posters, drawings... corkami 4638
17 Apollo-11 Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules. chrislgarry 48321
18 calc.asm Minimal arithmetic calculator in x86 assembly flouthoc 553


Name Description Author Stars
1 python-guide Python best practices guidebook, written for humans. realpython 21047


Name Description Author Stars
1 lpe collection of verified Linux kernel exploits jollheef 140
2 zmk ZMK Firmware Repository zmkfirmware 6
3 firmware This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware. raspberrypi 3584
4 qhull Qhull development for -- Qhull 2019.0.1 at qhull 339
5 libspng Simple, modern libpng alternative randy408 203
6 zfp Library for compressed numerical arrays that support high throughput read and write random access LLNL 320
7 poica 🧮 ADTs with pattern matching and type introspection for pure C Hirrolot 183
8 t1ha One of the fastest hash functions erthink 273
9 libmdbx One of the fastest embeddable key-value ACID database without WAL. erthink 429
10 monolinux-jiffy A Monolinux distro for the Jiffy board! eerimoq 142
11 NyuziProcessor GPGPU microprocessor architecture jbush001 1048
12 janus-gateway Janus WebRTC Server meetecho 4154
13 citus Distributed PostgreSQL for multi-tenant and real-time analytics workloads citusdata 4184
14 leptonica Leptonica is an open source library containing software that is broadly useful for image processing and image analysis applications. The official github repository for Leptonica is: danbloomberg/leptonica. See for more documentation and recent releases. DanBloomberg 896
15 geany A fast and lightweight IDE geany 1704
16 maloader mach-o loader for linux shinh 506
17 elvm EsoLangVM Compiler Infrastructure shinh 543
18 libimobiledevice A cross-platform protocol library to communicate with iOS devices libimobiledevice 3251
19 minizip Fork of the popular zip manipulation library found in the zlib distribution. nmoinvaz 645
20 rizz Small C game development framework septag 292
21 sx Portable base library for C programmers, designed for performance and simplicity. septag 523
22 utest.h single header unit testing framework for C and C++ sheredom 221
23 tinyproxy tinyproxy - a light-weight HTTP/HTTPS proxy daemon for POSIX operating systems tinyproxy 2166
24 cifra A collection of cryptographic primitives targeted at embedded use. ctz 256
25 opus Modern audio compression for the internet. xiph 973
26 rio An open source library allowing you to create an internet connected LED wall SolidStateGroup 128
27 slurm Slurm: A Highly Scalable Workload Manager SchedMD 845
28 pgsodium Modern cryptography for PostgreSQL using libsodium. michelp 182
29 wren The Wren Programming Language wren-lang 4175
30 stp Simple Theorem Prover, an efficient SMT solver for bitvectors stp 299
31 LuaJIT Mirror of the LuaJIT git repository LuaJIT 2051
33 pgsql-http HTTP client for PostgreSQL, retrieve a web page from inside the database. pramsey 437
34 nanosvg Simple stupid SVG parser memononen 952
35 fontstash Light-weight online font texture atlas builder memononen 386
36 nle The NetHack Learning Environment facebookresearch 155
37 crash Linux kernel crash utility crash-utility 308
38 pixz Parallel, indexed xz compressor vasi 458
39 ponyc 🐴 Pony is an open-source, actor-model, capabilities-secure, high performance programming language ponylang 4283
40 whatfiles Log what files are accessed by any Linux process spieglt 712
41 LegoOS Disseminated, Distributed OS for Hardware Resource Disaggregation WukLab 281
42 c-ray C-Ray is a small, simple path tracer written in C vkoskiv 182
43 pycopy Pycopy - a minimalist and memory-efficient Python implementation. Good for desktop, cloud, constrained systems, microcontrollers, and just everything. pfalcon 477
44 binbloom Raw binary firmware analysis software quarkslab 116
45 shairplay Apple airplay and raop protocol server juhovh 1011
46 switchaudio-osx Change the audio source for Mac OS X from the command line. deweller 395
47 libz80 An emulator of the Z80 processor (C library) ggambetta 125
48 Shrine A TempleOS distro for heretics minexew 702
49 sdefl Small inflate/deflate implementation in ~300 LoC of ANSI C vurtun 96
50 lgf Game development framework for Lua Planimeter 61
51 printf-tac-toe tic-tac-toe in a single call to printf carlini 1378
52 bfs A breadth-first version of the UNIX find command tavianator 304
53 afl-unicorn afl-unicorn lets you fuzz any piece of binary that can be emulated by Unicorn Engine. Battelle 416
54 linenoise A small self-contained alternative to readline and libedit antirez 2494
55 kopycat Kopycat is an emulator of hardware platforms of various architectures inforion 48
56 re2c lexer generator for C/C++ skvadrik 446
57 blis BLAS-like Library Instantiation Software Framework flame 728
58 samurai ninja-compatible build tool written in C michaelforney 287
59 fluent-bit Fast and Lightweight Log processor and forwarder for Linux, BSD and OSX fluent 2052
60 afdko Adobe Font Development Kit for OpenType adobe-type-tools 511
61 SSLproxy Transparent SSL/TLS proxy for decrypting and diverting network traffic to other programs, such as UTM services, for deep SSL inspection sonertari 95
62 chafa 📺🗿 Terminal graphics for the 21st century. hpjansson 577
63 dlpack RFC for common in-memory tensor structure and operator interface for deep learning system dmlc 309
64 muon Modern low-level programming language nickmqb 608
65 hiredis Minimalistic C client for Redis >= 1.2 redis 4430
66 unicorn Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86) unicorn-engine 3538
67 raft C implementation of the Raft consensus protocol canonical 338
68 kimera Low-latency hardware accelerated codec based video streaming utility. luigifreitas 59
69 pafish Pafish is a demonstration tool that employs several techniques to detect sandboxes and analysis environments in the same way as malware families do. a0rtega 1402
70 wlang rsms 26
71 openmv OpenMV Camera Module openmv 1335
72 map Map lines from stdin to commands soveran 173
73 duc Dude, where are my bytes: Duc, a library and suite of tools for inspecting disk usage zevv 346
74 Undecimus unc0ver jailbreak for iOS 11.0 - 12.4 pwn20wndstuff 6297
75 hmm Heightmap meshing utility. fogleman 335
76 Smalltalk By the Bluebook implementation of Smalltalk-80 dbanay 493
77 tinyb TinyB exposes the BLE GATT API for C++, Java and other languages, using BlueZ over DBus. intel-iot-devkit 191
78 librevault Librevault - Peer-to-peer, decentralized and open source file sync. librevault 977
79 shc Shell script compiler neurobin 886
80 coturn coturn TURN server project coturn 4828
81 tiny-regex-c Small portable regex in C kokke 366
82 defold Defold is a completely free to use game engine for development of desktop, mobile and web games. defold 990
83 tether 🖥 A barebones Electron-ish library for Rust. quadrupleslap 138
84 barrier Open-source KVM software debauchee 6083
85 zcoin The privacy-focused cryptocurrency zcoinofficial 465
86 tiny-differentiable-simulator Tiny Differentiable Simulator is a header-only C++ physics library with zero dependencies. google-research 270
87 CMSIS_5 CMSIS Version 5 Development Repository ARM-software 1326
88 aflsmart Smart Greybox Fuzzing ( aflsmart 347
89 stubby Stubby is the name given to a mode of using getdns which enables it to act as a local DNS Privacy stub resolver (using DNS-over-TLS). getdnsapi 713
90 python-midi Python MIDI library vishnubob 1118
91 msquic Cross-platform implementation of the IETF QUIC protocol. microsoft 1487
92 haproxy HAProxy Load Balancer's development branch (mirror of haproxy 1341
93 rawrtc WebRTC and ORTC with a little bit of RAWR! rawrtc 274
94 lz4 Extremely Fast Compression algorithm lz4 5059
95 ios_system Drop-in replacement for system() in iOS programs holzschu 411
96 cone Cone Programming Language jondgoodwin 218
97 osdev Hobby OS cstack 119
98 scrcpy Display and control your Android device Genymobile 32618
99 minimp3 Minimalistic MP3 decoder single header library lieff 728
100 libhandler Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C. koka-lang 100
101 memleax debugs memory leak of running process. Not maintained anymore, try libleak please. WuBingzheng 530
102 SameBoy Game Boy and Game Boy Color emulator written in C LIJI32 539
103 qu3e Lightweight and Simple 3D Open Source Physics Engine in C++ RandyGaul 600
104 whitedb WhiteDB memory database priitj 522
105 samtools Tools (written in C using htslib) for manipulating next-generation sequencing data samtools 935
106 masscan TCP port scanner, spews SYN packets asynchronously, scanning entire Internet in under 5 minutes. robertdavidgraham 12723
107 arm-tutorial-rpi Raspberry-Pi Bare Metal Tutorial BrianSidebotham 401
108 chaos The Chaos Programming Language chaos-lang 114
109 mir A light-weight JIT compiler based on MIR (Medium Internal Representation) vnmakarov 609
110 Pyto Python IDE for iOS with NumPy, Matplotlib, Pandas, SciPy and SciKit-Learn ColdGrub1384 303
111 OpenSC Open source smart card tools and middleware. PKCS#11/MiniDriver/Tokend OpenSC 1439
112 crypto-algorithms Basic implementations of standard cryptography algorithms, like AES and SHA-1. B-Con 947
113 zlib A massively spiffy yet delicately unobtrusive compression library. madler 2475
114 arduino-esp32 Arduino core for the ESP32 espressif 5001
115 tmate Instant Terminal Sharing tmate-io 3609
116 sqlite Official Git mirror of the SQLite source tree sqlite 483
117 libfsapfs Library and tools to access the Apple File System (APFS) libyal 81
118 GraphicsGems Code for the "Graphics Gems" book series erich666 866
119 renderer A shader-based software renderer written from scratch in C89 zauonlok 983
120 Zpng Better lossless compression than PNG with a simpler algorithm catid 162
121 rpmalloc Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C mjansson 990
122 ocaml-freestanding Freestanding OCaml runtime mirage 66
123 bash Unofficial mirror of bash repository. Updated daily. bminor 118
124 AFLplusplus afl++ is afl with community patches, AFLfast power schedules, qemu 3.1 upgrade + laf-intel support, MOpt mutators, InsTrim instrumentation, unicorn_mode, Redqueen and a lot more! AFLplusplus 765
125 clspv Clspv is a prototype compiler for a subset of OpenCL C to Vulkan compute shaders google 312
126 continuity Apple Continuity Protocol Reverse Engineering and Dissector furiousMAC 159
127 Bedrock Rock solid distributed database specializing in active/active automatic failover and WAN replication Expensify 595
128 zombodb Making Postgres and Elasticsearch work together like it's 2020 zombodb 2716
129 webgpu WebGPU for Node maierfelix 104
130 tinc a VPN daemon gsliepen 1104
131 norns-lowlevel Example code for doing low-level norns stuff in C PaulBatchelor 11
132 goquic QUIC support for Go devsisters 880
133 pce Emulates Mac Plus, PC, & Atari ST in the browser using WebAssembly jsdf 589
134 packetdrill The official Google release of packetdrill google 431
135 mbox A lightweight sandbox tool for non-root users tsgates 598
136 firejail Linux namespaces and seccomp-bpf sandbox netblue30 2567
137 seL4 The seL4 microkernel seL4 2745
138 skhd Simple hotkey daemon for macOS koekeishiya 1270
139 lisaem The first fully functional Lisa Emulator™ rayarachelian 12
140 never Never: statically typed, embedded functional programming language never-lang 168
141 mergerfs a featureful union filesystem trapexit 1280
142 QuickJS QuickJS is a small and embeddable Javascript engine. QuickJS sources are copyright Fabrice Bellard and Charlie Gordon. ldarren 394
143 solo5 A sandboxed execution environment for unikernels Solo5 603
144 gpu-monitoring-tools Tools for monitoring NVIDIA GPUs on Linux NVIDIA 489
145 Monocypher An easy to use, easy to deploy crypto library LoupVaillant 322
146 hashcat World's fastest and most advanced password recovery utility hashcat 8105
147 rust-secp256k1 Rust language bindings for Bitcoin secp256k1 library. rust-bitcoin 112
148 lunatic-python A two-way bridge between Python and Lua bastibe 174
149 containers Lightweight containers using Linux user namespaces arachsys 145
150 Nuklear A single-header ANSI C immediate mode cross-platform GUI library Immediate-Mode-UI 1596
151 qengine Retro game engine for developers that enjoy creating games like it's 1997. klaussilveira 748
152 traildb TrailDB is an efficient tool for storing and querying series of events traildb 987
153 libsrt libsrt is a C library for writing fast and safe C code, faster. It provides string, vector, bit set, set, map, hash set, and hash map handling. Suitable for soft and hard real-time. Allows both heap and stack allocation. BETA (API still can change: suggestions are welcome) faragon 410
154 star-charter A command-line tool for producing vector-graphics charts of the night sky in SVG, PDF and PNG formats. dcf21 249
155 libcsp A concurrency C library 10x faster than Golang. shiyanhui 1029
156 sqlite Go SQLite3 driver crawshaw 243
157 ff-proxy A UDP to TCP proxy server for sending HTTP requests with zero roundtrips TimeToogo 688
158 bedops 🔬 BEDOPS: high-performance genomic feature operations bedops 188
159 fe A tiny, embeddable language implemented in ANSI C rxi 489
160 Q2RTX NVIDIA’s implementation of RTX ray-tracing in Quake II NVIDIA 593
161 BlackHole BlackHole is a modern macOS virtual audio driver that allows applications to pass audio to other applications with zero additional latency. ExistentialAudio 2656
162 subprocess.h A simple one header solution to launching processes and interacting with them for C and C++. sheredom 377
163 zeromaps A "living" Linux process with no memory izabera 315
164 blender Official mirror of Blender blender 615
165 qemu Official QEMU mirror. Please see for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website. qemu 3681
166 pgagroal High-performance connection pool for PostgreSQL agroal 221
167 sokol minimal cross-platform standalone C headers floooh 1832
168 nmap Nmap - the Network Mapper. Github mirror of official SVN repository. nmap 4107
169 Quake-2 Quake 2 GPL Source Release id-Software 1578
170 jsmn Jsmn is a world fastest JSON parser/tokenizer. This is the official repo replacing the old one at Bitbucket zserge 2205
171 SVT-AV1 Welcome to the GitHub repo for the SVT-AV1! OpenVisualCloud 1067
172 light2d Light rendering in 2D miloyip 581
173 xv6-riscv Xv6 for RISC-V mit-pdos 495
174 capstone Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings. aquynh 4293
175 c-blosc A blocking, shuffling and loss-less compression library that can be faster than memcpy(). Blosc 701
176 emulator101 Source code to all the tutorials on kpmiller 354
177 gamemode Optimise Linux system performance on demand FeralInteractive 1789
178 sqlitestudio A free, open source, multi-platform SQLite database manager. pawelsalawa 1154
179 isoalloc A new general purpose secure memory allocator that implements an isolation security strategy to mitigate memory safety issues struct 111
180 raylib A simple and easy-to-use library to enjoy videogames programming raysan5 4138
181 lean4 Lean4 work in progress repo leanprover 230
182 arm-trusted-firmware Read-only mirror of Trusted Firmware-A ARM-software 1012
183 optimized-routines Optimized implementations of various library functions for ARM architecture processors ARM-software 132
184 simh The Computer History Simulation Project simh 994
185 ptrace-call-userspace Example of how to use the ptrace(2) system call to call a userspace method. eklitzke 100
186 utf8proc a clean C library for processing UTF-8 Unicode data JuliaStrings 556
187 hackrf low cost software radio platform mossmann 3380
188 sentry-native Sentry SDK for C, C++ and native applications. getsentry 83
189 blurhash A very compact representation of a placeholder for an image. woltapp 4703
190 redis-cluster-proxy A proxy for Redis clusters. RedisLabs 462
191 robotjs Node.js Desktop Automation. octalmage 8983
192 thinscript A low-level programming language inspired by TypeScript evanw 1092
193 quadsort Quadsort is a stable non-recursive adaptive merge sort which is faster than quicksort. scandum 1142
194 machineboss Bioinformatics Open Source Sequence machine evoldoers 29
195 n2n Peer-to-peer VPN ntop 2015
196 wrk Modern HTTP benchmarking tool wg 25157
197 sylkie IPv6 address spoofing with the Neighbor Discovery Protocol dlrobertson 42
198 cgltf 💠 Single-file glTF 2.0 loader and writer written in C99 jkuhlmann 482
199 julius An open source re-implementation of Caesar III bvschaik 969
200 pixd 🔍 Colourful visualization tool for binary files FireyFly 422
201 graffiti Web-like GUI toolkit for node.js with minimal overhead. Lightweight, GPU-rendered alternative to electron. cztomsik 459
202 thc-tips-tricks-hacks-cheat-sheet Various tips & tricks hackerschoice 1212
203 printf Tiny, fast, non-dependent and fully loaded printf implementation for embedded systems. Extensive test suite passing. mpaland 813
204 ia32-doc IA32-doc is a project which aims to put as many definitions from the Intel Manual into machine-processable format as possible wbenny 281
205 oss-fuzz OSS-Fuzz - continuous fuzzing of open source software. google 5341
206 linux-notebook Notes and things neauoire 96
207 lovr Virtual Reality Engine bjornbytes 616
208 Orca-c Live Programming Environment(C Port) hundredrabbits 262
209 barebones Barebones multiboot kernel for beginners fwsGonzo 106
210 mkernel A minimalist kernel arjun024 1208
211 FFmpeg Mirror of git:// FFmpeg 20105
212 klipper Klipper is a 3d-printer firmware KevinOConnor 2112
213 wasm3 🚀 The fastest WebAssembly interpreter (and the most universal wasm runtime) wasm3 2226
214 libinjection SQL / SQLI tokenizer parser analyzer client9 672
215 ibus Intelligent Input Bus for Linux/Unix ibus 523
216 upx UPX - the Ultimate Packer for eXecutables upx 5599
217 zfs OpenZFS on Linux and FreeBSD openzfs 5646
218 ModernFW intel 96
219 oreboot oreboot is a fork of coreboot, with C removed, written in Rust. oreboot 767
220 tundra Tundra is a code build system that tries to be accurate and fast for incremental builds deplinenoise 312
221 acwj A Compiler Writing Journey DoctorWkt 4101
222 stb stb single-file public domain libraries for C/C++ nothings 12973
223 amazon-kinesis-video-streams-webrtc-sdk-c Amazon Kinesis Video Streams Webrtc SDK is for developers to install and customize realtime communication between devices and enable secure streaming of video, audio to Kinesis Video Streams. awslabs 406
224 lsquic LiteSpeed QUIC and HTTP/3 Library litespeedtech 435
225 antic Algebraic Number Theory In C wbhart 31
226 Lambda1VR Port of the Xash3D-FWGS Half Life Engine to Oculus Quest DrBeef 105
227 httpserver.h Single header library for writing non-blocking HTTP servers in C jeremycw 1280
228 HomeKitADK apple 1788
229 gc Simple, zero-dependency garbage collection for C mkirchner 750
230 MazuCC A minimalist C compiler with x86_64 code generation jserv 383
231 CRoaring Roaring bitmaps in C (and C++) RoaringBitmap 596
232 disque-module Disque ported as Redis module antirez 449
233 zproto A protocol framework for ZeroMQ zeromq 205
234 AFL american fuzzy lop - a security-oriented fuzzer google 1207
235 nginx An official read-only mirror of which is updated hourly. Pull requests on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes to nginx is via the nginx development mailing list, see nginx 12105
236 resea A pure microkernel-based hackable operating system. nuta 188
237 pgaudit PostgreSQL Audit Extension pgaudit 448
238 odyssey Scalable PostgreSQL connection pooler yandex 1803
239 markdown-wasm Markdown parser and HTML generator implemented in WebAssembly rsms 169
240 psycopg2 PostgreSQL database adapter for the Python programming language psycopg 1835
241 twemproxy A fast, light-weight proxy for memcached and redis twitter 9908
242 collapseos Bootstrap post-collapse technology hsoft 4084
243 felix The Felix Programming Language felix-lang 561
244 mjs Embedded JavaScript engine for C/C++ cesanta 1301
245 nng nanomsg-next-generation -- light-weight brokerless messaging nanomsg 1724
246 ioping simple disk I/0 latency measuring tool koct9i 574
247 C All Algorithms implemented in C TheAlgorithms 4926
248 GloVe GloVe model for distributed word representation stanfordnlp 4735
249 rnnoise Recurrent neural network for audio noise reduction xiph 1152
250 nanopb Protocol Buffers with small code size nanopb 1875
251 irssi The client of the future irssi 2183
252 AtomVM Tiny Erlang VM bettio 583
253 8cc A Small C Compiler rui314 4781
254 karabiner-elements-keycodes Keycodes used in Karabiner-Elements. Find key you need here. aerobounce 5
255 libdill Structured concurrency in C sustrik 1304
256 lasca-compiler Lasca is Scala shifted towards Haskell. nau 95
257 pg_query_go Go library to parse and normalize SQL queries using the PostgreSQL query parser lfittl 207
258 FiniteStateEntropy New generation entropy codecs : Finite State Entropy and Huff0 Cyan4973 876
259 XNNPACK High-efficiency floating-point neural network inference operators for mobile, server, and Web google 485
260 swieros A tiny hand crafted CPU emulator, C compiler, and Operating System rswier 566
261 Impact Crash capturing library for Apple platforms ChimeHQ 350
262 lambda-zero A minimalist pure lazy functional programming language clark800 50
263 yugabyte-db The high-performance distributed SQL database for global, internet-scale apps. yugabyte 4057
264 coz Coz: Causal Profiling plasma-umass 1733
265 bic A C interpreter and API explorer. hexagonal-sun 705
266 soso A Simple Unix-like operating system ozkl 565
267 yabai A tiling window manager for macOS based on binary space partitioning koekeishiya 4039
268 fio Flexible I/O Tester axboe 2286
269 lf Fully Decentralized Fully Replicated Key/Value Store zerotier 788
270 nanos A kernel designed to run one and only one application in a virtualized environment nanovms 395
271 TDengine An open-source big data platform designed and optimized for the Internet of Things (IoT). taosdata 11652
272 libaco A blazing fast and lightweight C asymmetric coroutine library 💎 🚀🌞 hnes 2389
273 CTTK Constant-Time Toolkit pornin 264
274 dsvpn A Dead Simple VPN. jedisct1 4692
275 raytracer.hpp Simple compile-time raytracer using C++17 tcbrindle 451
276 search-engine A math-aware search engine. approach0 249
277 mimalloc mimalloc is a compact general purpose allocator with excellent performance. microsoft 4127
278 libfirm graph based intermediate representation and backend for optimising compilers libfirm 277
279 kona Open-source implementation of the K programming language kevinlawler 1069
280 oniguruma regular expression library kkos 1251
281 sslh Applicative Protocol Multiplexer (e.g. share SSH and HTTPS on the same port) yrutschle 2762
282 wasm-micro-runtime WebAssembly Micro Runtime (WAMR) bytecodealliance 1474
283 libffi A portable foreign-function interface library. libffi 1753
284 httpd Mirror of Apache HTTP Server. Issues: apache 2445
285 bdwgc The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehm-gc) ivmai 1481
286 db_tutorial Writing a sqlite clone from scratch in C cstack 4554
287 endlessh SSH tarpit that slowly sends an endless banner skeeto 1544
288 janet A dynamic language and bytecode vm janet-lang 1477
289 amazon-freertos IoT operating system for microcontrollers. aws 2010
290 libgit2 A cross-platform, linkable library implementation of Git that you can use in your application. libgit2 7474
291 freebsd FreeBSD src tree (read-only mirror) freebsd 5111
292 spdk Storage Performance Development Kit spdk 1366
293 micropython MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems micropython 10691
294 webview Tiny cross-platform webview library for C/C++/Golang. Uses WebKit (Gtk/Cocoa) and Edge (Windows) webview 6267
295 jemalloc jemalloc 4997
296 sophia Modern transactional key-value/row storage library. pmwkaa 1765
297 libfuse The reference implementation of the Linux FUSE (Filesystem in Userspace) interface libfuse 2633
298 libart Adaptive Radix Trees implemented in C armon 522
299 s2n s2n : an implementation of the TLS/SSL protocols awslabs 3748
300 mbedtls An open source, portable, easy to use, readable and flexible SSL library ARMmbed 2461
301 DAPLink ARMmbed 878
302 elua eLua Project on GitHub elua 731
303 mbed-os Arm Mbed OS is a platform operating system designed for the internet of things ARMmbed 3266
304 Your high performance web application C framework boazsegev 1228
305 littlefs A little fail-safe filesystem designed for microcontrollers ARMmbed 1814
306 borg Deduplicating archiver with compression and authenticated encryption. borgbackup 6308
307 xash3d DEPRECATED in favor of Only bugfixes are accepted. FWGS 412
308 litex Build your hardware, easily! enjoy-digital 597
309 fwupd A simple daemon to allow session software to update firmware fwupd 962
310 libuv Cross-platform asynchronous I/O libuv 15331
311 OS67 An unix-like toy kernel. SilverRainZ 438
312 disque Disque is a distributed message broker antirez 7667
313 gambit Gambit is an efficient implementation of the Scheme programming language. gambit 835
314 tinyssh TinySSH is small server (less than 100000 words of code) janmojzis 356
315 rlua High level Lua bindings to Rust amethyst 786
316 xxHash Extremely fast non-cryptographic hash algorithm Cyan4973 4102
317 9cc A Small C Compiler rui314 1456
318 mac-keyboard-brightness 🔆 Programmatically get & set the keyboard & display backlight brightness on Macs. Flash your keyboard to the music! (only works on <2015 Macs) pirate 168
319 tgc A Tiny Garbage Collector for C orangeduck 462
320 wac WebAssembly interpreter in C kanaka 350
321 planck Stand-alone ClojureScript REPL planck-repl 966
322 trezor-crypto 🔒 Don't use this repo, use the new monorepo instead: trezor 442
323 jehanne Jehanne Operating System JehanneOS 203
324 plan9port Plan 9 from User Space 9fans 911
325 micro-lisp 🎄A very small Lisp programming language 😀that used to be under 200 lines of C🎄 carld 652
326 ish Linux shell for iOS ish-app 6190
327 zstd Zstandard - Fast real-time compression algorithm facebook 12280
328 pwn2own2018 A Pwn2Own exploit chain saelo 698
329 inav INAV: Navigation-enabled flight control software iNavFlight 1304
330 rosenbridge Hardware backdoors in some x86 CPUs xoreaxeaxeax 2063
331 darknet Convolutional Neural Networks pjreddie 17982
332 disnix Disnix: A Nix-based distributed service deployment tool svanderburg 92
333 pipelinedb High-performance time-series aggregation for PostgreSQL pipelinedb 2312
334 openssl TLS/SSL and crypto library openssl 13216
335 os-tutorial How to create an OS from scratch cfenollosa 17991
336 pgbackrest Reliable PostgreSQL Backup & Restore pgbackrest 625
337 Interplanetary-Postal-Service Lunar lander type game with computational fluid dynamics s-macke 608
338 graphd The Metaweb graph repository server google 398
339 RIOT RIOT - The friendly OS for IoT RIOT-OS 3364
340 tbox 🎁 A glib-like multi-platform c library tboox 3350
341 reptyr Reparent a running program to a new terminal nelhage 3611
342 lwan Experimental, scalable, high performance HTTP server lpereira 5196
343 raspberry-pi-os Learning operating system development using Linux kernel and Raspberry Pi s-matyukevich 7639
344 nchan Fast, horizontally scalable, multiprocess pub/sub queuing server and proxy for HTTP, long-polling, Websockets and EventSource (SSE), powered by Nginx. slact 2575
345 pspg Unix pager designed for work with tables. Designed for PostgreSQL, but MySQL is supported too. Now it can be used as CSV or TSV viewer. Works well with pgcli too. okbob 1288
346 skor Now part of Hasura GraphQL Engine. Listen to postgres events and forward them as JSON payloads to a webhook hasura 1222
347 HandBrake HandBrake's main development repository HandBrake 6210
348 htop htop is an interactive text-mode process viewer for Unix systems. It aims to be a better 'top'. hishamhm 5078
349 raptorjit RaptorJIT: A dynamic language for system programming (LuaJIT fork) raptorjit 758
350 gcc gcc-mirror 3924
351 c4 C in four functions rswier 6556
352 mac bytecode interpreter in c (blog post) felixangell 588
353 bitwise Bitwise is an educational project where we create the software/hardware stack for a computer from scratch. pervognsen 4617
354 neomutt 📧 Teaching an Old Dog New Tricks -- IRC: #neomutt on neomutt 1843
355 tmk_keyboard Keyboard firmwares for Atmel AVR and Cortex-M tmk 3030
356 web-view Rust bindings for webview, a tiny cross-platform library to render web-based GUIs for desktop applications Boscop 1179
357 Yams A Sweet and Swifty YAML parser. jpsim 563
358 torch7 torch 8500
359 raylib-go Go bindings for raylib, a simple and easy-to-use library to enjoy videogames programming. gen2brain 488
360 swift-corelibs-libdispatch The libdispatch Project, (a.k.a. Grand Central Dispatch), for concurrency on multicore hardware apple 1829
361 neural-redis Neural networks module for Redis antirez 2178
362 movfuscator The single instruction C compiler xoreaxeaxeax 6145
363 tig Text-mode interface for git jonas 9125
364 bspwm A tiling window manager based on binary space partitioning baskerville 3848
365 pngquant Lossy PNG compressor — pngquant command based on libimagequant library kornelski 3373
366 postgres Mirror of the official PostgreSQL GIT repository. Note that this is just a mirror - we don't work with pull requests on github. To contribute, please see postgres 6866
367 ffmpeg-libav-tutorial FFmpeg libav tutorial - learn how media works from basic to transmuxing, transcoding and more leandromoreira 5421
368 tini A tiny but valid init for containers krallin 4556
369 meltdown This repository contains several applications, demonstrating the Meltdown bug. IAIK 3805
370 mtm Perhaps the smallest useful terminal multiplexer in the world. deadpixi 607
371 stellar-core stellar-core is the reference implementation for the peer to peer agent that manages the Stellar network stellar 2428
372 sundown Standards compliant, fast, secure markdown processing library in C vmg 1812
373 bloomd C network daemon for bloom filters armon 1158
374 blockparser Simple C++ bitcoin blockchain parser znort987 445
375 qmk_firmware Open-source keyboard firmware for Atmel AVR and Arm USB families qmk 6891
376 VoxelSpace Terrain rendering algorithm in less than 20 lines of code s-macke 4632
377 wuffs Wrangling Untrusted File Formats Safely google 1819
378 leetcode LeetCode in pure C begeekmyfriend 1985
379 minix Official MINIX sources - Automatically replicated from Stichting-MINIX-Research-Foundation 1506
380 memcached memcached development tree memcached 10185
381 rofi Rofi: A window switcher, application launcher and dmenu replacement davatorium 5984
382 sway i3-compatible Wayland compositor swaywm 7626
383 u2f-zero U2F USB token optimized for physical security, affordability, and style conorpp 2197
384 branchless-utf8 Branchless UTF-8 decoder skeeto 376
385 DOOM DOOM Open Source Release id-Software 5677
386 darwin-xnu The Darwin Kernel (mirror) apple 7988
387 ttyd Share your terminal over the web tsl0922 2741
388 seafile High performance file syncing and sharing, with also Markdown WYSIWYG editing, Wiki, file label and other knowledge management features. haiwen 7819
389 mon mon(1) - Simple single-process process monitoring program written in C tj 1029
390 hobbes A language and an embedded JIT compiler Morgan-Stanley 962
391 zsh Mirror of the Z shell source code repository. zsh-users 1883
392 brotli Brotli compression format google 8804
393 bcc BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more iovisor 9557
394 obs-studio OBS Studio - Free and open source software for live streaming and screen recording obsproject 20209
395 FastestWebsiteEver ultrafast single TCP packet audio/visual experience diracdeltas 1352
396 rspamd Rapid spam filtering system. rspamd 1270
397 write-a-C-interpreter Write a simple interpreter of C. Inspired by c4 and largely based on it. lotabout 1876
398 opic Fast serialization framework for C dryman 201
399 Down Blazing fast Markdown / CommonMark rendering in Swift, built upon cmark. iwasrobbed 1468
400 tcpdump the TCPdump network dissector the-tcpdump-group 1335
401 OpenLara Classic Tomb Raider open-source engine XProger 2318
402 UnicornConsole Unicorn Console: create quick game ! Gigoteur 805
403 noah Bash on Ubuntu on macOS linux-noah 1802
404 shrinkray Lightweight alternative to Electron for making macOS apps using Javascript francoislaberge 272
405 AppImageKit Package desktop applications as AppImages that run on common Linux-based operating systems, such as RHEL, CentOS, openSUSE, SLED, Ubuntu, Fedora, debian and derivatives. Join #AppImage on AppImage 5686
406 nnn n³ The missing terminal file manager for X. jarun 8355
407 Cello Higher level programming in C orangeduck 5386
408 write-ups-2016 Wiki-like CTF write-ups repository, maintained by the community. 2016 ctfs 1588
409 timescaledb An open-source time-series SQL database optimized for fast ingest and complex queries. Packaged as a PostgreSQL extension. timescale 8757
410 jq Command-line JSON processor stedolan 17199
411 sl SL(1): Cure your bad habit of mistyping mtoyoda 1726
412 DoubleAgent Zero-Day Code Injection and Persistence Technique Cybellum 1038
413 redis Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps. antirez 43611
414 xv6-public xv6 OS mit-pdos 3727
415 cmark CommonMark parsing and rendering library and program in C commonmark 991
416 wcc The Witchcraft Compiler Collection endrazine 1453
417 MBE Course materials for Modern Binary Exploitation by RPISEC RPISEC 4008
418 gravity Gravity Programming Language marcobambini 3609
419 darkforestGo DarkForest, the Facebook Go engine. facebookresearch 2120
420 miller Miller is like awk, sed, cut, join, and sort for name-indexed data such as CSV, TSV, and tabular JSON johnkerl 2445
421 msdfgen Multi-channel signed distance field generator Chlumsky 1834
422 CreepyCodeCollection A Nonsense Collection of Disgusting Codes (quine-polyglot-code-golf-obfuscated-signature-creepy-codes-mandelbrot-esoteric-language-esoteric-programming-strange-golfing-spooky-weird) MinhasKamal 2060
423 util-linux karelzak 1026
424 japronto Screaming-fast Python 3.5+ HTTP toolkit integrated with pipelining HTTP server based on uvloop and picohttpparser. squeaky-pl 8035
425 flatpak Linux application sandboxing and distribution framework flatpak 2291
426 osx-keylogger [2015] Simple keylogger in C for OSX julien-h 2
427 fzy 🔍 A simple, fast fuzzy finder for the terminal jhawthorn 1773
428 Cranium 🤖 A portable, header-only, artificial neural network library written in C99 100 483
429 fssb A filesystem sandbox for Linux using syscall intercepts. adtac 361
430 libmill Go-style concurrency in C sustrik 2394
431 xmake 🔥 A cross-platform build utility based on Lua xmake-io 2794
432 sshfs A network filesystem client to connect to SSH servers libfuse 3287
433 robotgo RobotGo, Go Native cross-platform GUI automation @vcaesar go-vgo 5917
434 toaruos A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc. klange 2953
435 mpv 🎥 Command line video player mpv-player 12448
436 go-sqlite3 sqlite3 driver for go using database/sql mattn 4128
437 goaccess GoAccess is a real-time web log analyzer and interactive viewer that runs in a terminal in *nix systems or through your browser. allinurl 11601
438 transmission Official Transmission BitTorrent client repository transmission 4521
439 smenu Terminal utility that reads words from standard input or from a file and creates an interactive selection window just below the cursor. The selected word(s) are sent to standard output for further processing. p-gen 1585
440 tg telegram-cli vysheng 4815
441 numpy The fundamental package for scientific computing with Python. numpy 14048
442 darling Darwin/macOS emulation layer for Linux darlinghq 5564
443 os Minoca operating system minoca 2415
444 sudo-touchid A fork of sudo with Touch ID support. mattrajca 1524
445 licecap LICEcap simple animated screen capture tool for Windows and OS X justinfrankel 3666
446 simplenote-macos Simplenote for macOS Automattic 1072
447 urbit An operating function urbit 2273
448 cpulimit CPU usage limiter for Linux opsengine 1048
449 tmux tmux source code tmux 18139
450 kilo A text editor in less than 1000 LOC with syntax highlight and search. antirez 4545
451 hardlink a simple command-line utility that implements hardlinks on Mac OsX selkhateeb 453
452 lzfse LZFSE compression library and command line tool lzfse 1522
453 radare2 UNIX-like reverse engineering framework and command-line toolset radareorg 12692
454 uzbl A web browser that adheres to the unix philosophy. uzbl 910
455 checkedc Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sample code, the specification, and test code. microsoft 1853
456 How-to-Make-a-Computer-Operating-System How to Make a Computer Operating System in C++ SamyPesse 18818
457 git Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements. git 33070
458 bar A featherweight, lemon-scented, bar based on xcb LemonBoy 1172
459 anypixel A web-friendly way for anyone to build unusual displays googlecreativelab 6362
460 tmux-MacOSX-pasteboard Notes and workarounds for accessing the Mac OS X pasteboard in tmux sessions. Note: The pu branch (“Proposed Updates”) may be rewound without notice. ChrisJohnsen 2165
461 libui Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports. andlabs 9477
462 kmscon Linux KMS/DRM based virtual Console Emulator dvdhrm 311
463 swift-corelibs-foundation The Foundation Project, providing core utilities, internationalization, and OS independence apple 3911
464 osx_app_in_plain_c A simple showcase how to create a simple OS X app in plain C without any Objective-C jimon 779
465 ps4-linux Linux kernel fork with PS4 support (work in progress) fail0verflow 628
466 tiny-web-server a tiny web server in C, for daily use. shenfeng 286
467 nuklear A single-header ANSI C gui library vurtun 13225
468 http-parser http request/response parser for c nodejs 5418
469 OnlinePythonTutor Visualize Python, Java, JavaScript, TypeScript, Ruby, C, and C++ code execution in your Web browser pgbovine 3340
470 vis A vi-like editor based on Plan 9's structural regular expressions martanne 3333
471 alfred-workflows Collection of Alfred workflows vitorgalvao 1260
472 netdata Real-time performance monitoring, done right! netdata 47271
473 yank Yank terminal output to clipboard mptre 920
474 Craft A simple Minecraft clone written in C using modern OpenGL (shaders). fogleman 7938
475 Collections-C A library of generic data structures. srdja 2028
476 curl A command line tool and library for transferring data with URL syntax, supporting HTTP, HTTPS, FTP, FTPS, GOPHER, TFTP, SCP, SFTP, SMB, TELNET, DICT, LDAP, LDAPS, MQTT, FILE, IMAP, SMTP, POP3, RTSP and RTMP. libcurl offers a myriad of powerful features curl 17420
477 systemd The systemd System and Service Manager systemd 6885
478 the_silver_searcher A code-searching tool similar to ack, but faster. ggreer 20425
479 linux Linux kernel source tree torvalds 92897
480 C-Poker-AI First I made a poker AI in Ruby... not fast enough! Then I made another in Python... still too slow! So this is my third poker AI written entirely in C using the 2+2 hand evaluator algorithm. gorel 48
481 mjolnir Lightweight automation and productivity app for OS X mjolnirapp 5080
482 macvim Vim - the text editor - for Mac OS X b4winckler 5226
483 pifs πfs - the data-free filesystem! philipl 4970
484 BayBrowser-2 BayBrowser is a feature filled PirateBay browser and torrent downloader for iPhones and iPads. EthanArbuckle 14
485 toxcore The future of online communications. irungentoo 8602


Name Description Author Stars
1 OculusQuestHandTrackingPhysics A variety of examples showing how to use Physics with Hand Tracking. dilmerv 83
2 runner The Runner for GitHub Actions 🚀 actions 890
3 microservices-demo Sample cloud-native application with 10 microservices showcasing Kubernetes, Istio, gRPC and OpenCensus. GoogleCloudPlatform 8039
4 wavefunctioncollapse Walk through an infinite, procedurally generated city marian42 2665
5 iotedge The IoT Edge OSS project Azure 1040
6 UnityCsReference Unity C# reference source code Unity-Technologies 6752
7 project-skylines procedural retro 3d game, winner of the GitHub Gameoff 2017 maxilevi 281
8 mono Mono open source ECMA CLI, C# and .NET implementation. mono 8737
9 electrino Desktop runtime for apps built on web technologies, using the system's own web browser engine pojala 3868
10 VRTK A productive toolkit for rapidly building spatial computing solutions in the Unity software. ExtendRealityLtd 3158
11 Windows-Hacks Creative and unusual things that can be done with the Windows API. LazoCoder 2004
12 awesome-dotnet-core 🐝 A collection of awesome .NET core libraries, tools, frameworks and software thangchung 12404
13 AtomOS A multitasking monolithic Kernel based x86 targeting Operating System written in C# from scratch aiming for high-level implementation of drivers in managed environment. amaneureka 1222
14 Jackett API Support for your favorite torrent trackers. Jackett 4431
15 WaveFunctionCollapse Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics. mxgmn 14653
16 CodeHub CodeHub is an iOS application written using Xamarin CodeHubApp 22871
17 roslyn The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs. dotnet 13103
18 WebMConverter WebM for bakas. WebMBro 298


Curated list of my GitHub stars







No releases published

Sponsor this project



No packages published