Skip to content
View int3's full-sized avatar

Highlights

  • Pro

Block or report int3

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

CleverBee - The Open Source Deep Researcher Tool

Python 306 17 Updated Jun 9, 2025

πŸ™ Guides, papers, lecture, notebooks and resources for prompt engineering

MDX 63,341 6,626 Updated Oct 13, 2025
Python 11 2 Updated Dec 11, 2024

Redot Engine – Multi-platform 2D and 3D game engine

C++ 5,615 261 Updated Sep 20, 2025

a performance oriented reimplementation of repo

Rust 21 15 Updated Sep 1, 2025

An impish, cross-platform binary parsing crate, written in Rust

Rust 1,364 176 Updated Oct 6, 2025

Jupyter notebooks in the terminal

Python 2,220 50 Updated Oct 13, 2025

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Python 322,741 52,647 Updated May 21, 2025

πŸ₯‘ A modern delightful operating system

C++ 2,892 150 Updated Oct 13, 2025

Scala Scripting

Scala 2,629 371 Updated Oct 11, 2025

uPickle: a simple, fast, dependency-free JSON & Binary (MessagePack) serialization library for Scala

Scala 756 175 Updated Sep 30, 2025

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Haskell 1,053 41 Updated Jun 13, 2025

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Rust 17,007 1,532 Updated Oct 13, 2025

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Zig 41,602 3,051 Updated Oct 13, 2025

πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C

Rust 1,599 52 Updated Jun 17, 2022

πŸ€– An Open Source Texas Hold'em AI

Python 1,506 397 Updated Apr 3, 2023

An analysis tool for Python that blurs the line between testing and type systems.

Python 1,208 61 Updated Oct 8, 2025

A WebAssembly test case generator

43 2 Updated Oct 21, 2020

The TenDRA Project

C 245 32 Updated Sep 29, 2025

Allie: A UCI compliant chess engine

C++ 107 21 Updated Apr 8, 2021

Sunfish: a Python Chess Engine in 111 lines of code

Python 3,154 570 Updated May 17, 2025

Rust rewrite of the sunfish simple chess engine

Rust 57 6 Updated Dec 4, 2021

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

LLVM 34,875 14,833 Updated Oct 14, 2025

command line util for doing hex/dec/oct/bin math quickly

C 123 19 Updated Nov 23, 2023

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

C++ 661 56 Updated Sep 26, 2025

Rust mid-level IR Abstract Interpreter

Rust 1,011 84 Updated Aug 22, 2024

πŸƒ macOS app that uses the paperless API to manage your document scans.

JavaScript 595 54 Updated Feb 27, 2023

Python sync/async framework for Interactive Brokers API

Python 3,134 860 Updated Mar 14, 2024

BLeak: Automatically Debugging Memory Leaks in Web Applications

TypeScript 410 40 Updated Dec 8, 2022

A Modern CompSci Curriculum

301 35 Updated Jul 26, 2025
Next