Thanks to visit codestin.com
Credit goes to github.com

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 16 Updated Jun 9, 2025

πŸ™ Guides, papers, lessons, notebooks and resources for prompt engineering, context engineering, RAG, and AI Agents.

MDX 65,228 6,782 Updated Oct 16, 2025
Python 11 2 Updated Dec 11, 2024

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

C++ 5,626 263 Updated Oct 16, 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,369 177 Updated Oct 17, 2025

Jupyter notebooks in the terminal

Python 2,240 51 Updated Oct 20, 2025

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

Python 323,727 52,807 Updated May 21, 2025

πŸ₯‘ A modern delightful operating system

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

Scala Scripting

Scala 2,629 371 Updated Oct 23, 2025

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

Scala 755 175 Updated Oct 19, 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,064 1,536 Updated Oct 23, 2025

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

Zig 41,762 3,063 Updated Oct 23, 2025

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

Rust 1,598 52 Updated Jun 17, 2022

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

Python 1,510 397 Updated Apr 3, 2023

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

Python 1,212 61 Updated Oct 20, 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,155 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 35,037 14,949 Updated Oct 24, 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++ 663 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,139 860 Updated Mar 14, 2024

BLeak: Automatically Debugging Memory Leaks in Web Applications

TypeScript 409 40 Updated Dec 8, 2022

A Modern CompSci Curriculum

300 35 Updated Jul 26, 2025
Next