#
int3
Follow
Starred repositories
🐙 Guides, papers, lecture, notebooks and resources for prompt engineering
Redot Engine – Multi-platform 2D and 3D game engine
An impish, cross-platform binary parsing crate, written in Rust
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
uPickle: a simple, fast, dependency-free JSON & Binary (MessagePack) serialization library for Scala
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
An analysis tool for Python that blurs the line between testing and type systems.
Sunfish: a Python Chess Engine in 111 lines of code
Rust rewrite of the sunfish simple chess engine
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
command line util for doing hex/dec/oct/bin math quickly
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
Rust mid-level IR Abstract Interpreter
🍃 macOS app that uses the paperless API to manage your document scans.
Python sync/async framework for Interactive Brokers API
BLeak: Automatically Debugging Memory Leaks in Web Applications
