#
Lists (32)
AI stuff
10 repositories
Awesome Lists
Meta list of lists20 repositories
Binary Analysis
Anything related to Disassemblers, Decompilers, tools and techniques for Reverse Engineering5 repositories
CMS, Platforms and Frameworks
1 repository
Code Editors and Plugins
All about code editors, customization and plugins8 repositories
Computer Science
Anything that fit into the general field of computer science3 repositories
Cool projects
26 repositories
CTFs and Challanges
Ethical hacking challenges such as CTFs, reverse engineering, crackme:s, pwn, web, crypto, etc.2 repositories
Design patterns and PL Paradigms
Dev-ops and more4 repositories
Education
School related repos5 repositories
Example Compilers & Interpreters
Existing "complete" implementations that are useful as example when building a compiler or interpreter.50 repositories
Functional Programming
2 repositories
Game Engines
12 repositories
Good Libraries and SDKs
6 repositories
Graphics and Shaders
12 repositories
GUI and UI frameworks
19 repositories
Hacking Tools
Ethical hacking and cryptography tools for penetration testing and playing CTF 🚩21 repositories
Hugo themes
7 repositories
Langjams
1 repository
Laundry apps
List of laundry apps that can be used1 repository
Minecraft Script Languages
Programming languages that transpiles to Minecraft datapacks7 repositories
Mixed stuff
Lots of different stuff8 repositories
Programming Language Tools
Tools, Architectures, Intermediates, Virtual Machines and much more that can be useful when building a programming language.70 repositories
Programming Languages
A list of interesting open source programming languages139 repositories
Runtimes and Execution Engines
For example the V8 JavaScript engine in the browser or the .NET or JVM runtime.8 repositories
Rust Repos
86 repositories
SAT/SMT solvers
A list of SAT and SMT solver implementations5 repositories
Terminal tools
37 repositories
Type Systems and Theory
8 repositories
Viritual Machines
Everything from Bytecode VMs to highly efficient runtimes5 repositories
Web Dev
Tools that are useful for web development33 repositories
Writeups
CTF writeups3 repositories
Starred repositories
LLVM Code Generation, published by Packt
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Cross-platform, C implementation of the IETF QUIC protocol, exposed to C, C++, C# and Rust.
Anshorei / awesome-bevy
Forked from bevyengine/bevy-assetsA collection of awesome Bevy projects
Markdown-it plugin to include math in your document
High-performance, real-time optimized, and statically typed embedded language implemented in C.
A Simple showcase for the Sea-of-Nodes compiler IR
A safe and easier systems programming language without Pain, with reimagined JIT
A native, user-mode, multi-process, graphical debugger.
A repository to share useful PLT papers with people
4
Updated Jul 18, 2025
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
An attempt to get Mulle Meck games working through Bevy
Interpreter for a small subset of the Haskell programming language
Bidirectional type checker for the simply typed lambda calculus
An experimental programming language that's made to be powerful, productive, and predictable
Horn Clause Constraint Solving for Liquid Types
📚 A collection of resources about supercompilation
117
Updated Jul 15, 2025
Curated list of resources for Embedded and Low-level development in the Rust programming language