Starred repositories
Stock options, RSUs, taxes — read the latest edition: www.holloway.com/ec
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
A compiler frontend for the C programming language
Modern C++ Programming Course (C++03/11/14/17/20/23/26)
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…
Static analysis framework for .NET programs.
👨🚀 buzz, A small/lightweight statically typed scripting language
System to recognize infinite languages and react to string events
A GitHub action you can use to scan with Endor Labs
Cecil is a library to inspect, modify and create .NET programs and libraries.
ltcmelo / llvm
Forked from llvm-mirror/llvmY86 backend implementation (based on Computer Systems book spec)
ShellCheck, a static analysis tool for shell scripts
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
A programming language to skip the things you have already computed
Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. I…
tonybaloney / Pyjion
Forked from microsoft/PyjionPyjion - A JIT for Python based upon CoreCLR
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
The G 55C2 rain compiler toolchain and CLI. Home of the modern web staple. 🌾
an educational compiler intermediate representation
Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur