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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Starred repositories

Showing results

HypotaxBench: Measuring LLMs' ability to produce single sentences of maximal hierarchical syntactic depth

HTML 3 1 Updated Apr 14, 2026

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

TypeScript 379,405 79,423 Updated Jun 18, 2026

mold: A Modern Linker 🦠

C++ 16,602 537 Updated Jun 16, 2026

CleverBee - The Open Source Deep Researcher Tool

Python 305 Updated Jan 31, 2026

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

MDX 75,724 8,229 Updated Mar 11, 2026
Python 11 2 Updated Dec 11, 2024

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

C++ 5,880 306 Updated Jun 18, 2026

a performance oriented reimplementation of repo

Rust 22 14 Updated Dec 1, 2025

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

Rust 1,504 200 Updated Jun 13, 2026

Jupyter notebooks in the terminal

Python 2,586 53 Updated Jun 18, 2026

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

Python 353,776 56,788 Updated Mar 20, 2026

πŸ₯‘ A modern delightful operating system (mirror)

C++ 2,969 147 Updated Jun 13, 2026

Scala Scripting

Scala 2,634 368 Updated Apr 21, 2026

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

Scala 766 176 Updated Feb 27, 2026

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

Haskell 1,062 41 Updated Jun 13, 2025

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

Rust 18,221 1,746 Updated Jun 18, 2026

Moved to Codeberg

Zig 43,170 3,063 Updated Nov 27, 2025

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

Rust 1,599 56 Updated Jun 17, 2022

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

Python 1,577 408 Updated Apr 3, 2023

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

Python 1,294 87 Updated Jun 18, 2026

A WebAssembly test case generator

44 2 Updated Oct 21, 2020

The TenDRA Project

C 250 33 Updated Sep 29, 2025

Allie: A UCI compliant chess engine

C++ 112 20 Updated Apr 8, 2021

Sunfish: a Python Chess Engine in 111 lines of code

Python 3,255 583 Updated Mar 13, 2026

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 38,876 17,527 Updated Jun 18, 2026

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

C 130 22 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++ 669 55 Updated Apr 15, 2026

Rust mid-level IR Abstract Interpreter

Rust 1,010 83 Updated Aug 22, 2024

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

JavaScript 632 58 Updated Feb 27, 2023
Next