8000 krk (Kerem Kat) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View krk's full-sized avatar

Block or report krk

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. 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

The math library of Lean 4

Lean 4,477 1,862 Updated Nov 13, 2026

Fast and lightweight x86/x86-64 disassembler and code generation library

C 4,428 522 Updated Nov 13, 2026

A C compiler and DOS-style text-mode IDE for Linux x86-64. Compiles C straight to native executables, with a built-in standard library and a source-level debugger.

C 76 6 Updated Oct 27, 2026

Python tool for aircraft Doppler audio geolocation using historical ADS-B flight data (Source-available)

Python 586 73 Updated Nov 11, 2026

Auto Ontology is a Python framework for building semantic, graph-based reasoning layers over data. It enables deterministic query generation, better context retrieval, and more explainable AI for L…

Python 12,548 1,028 Updated Nov 13, 2026
8000

Cloudflare turnstile and challenge page solver in Rust (full reverse, request based)

Rust 754 180 Updated Nov 13, 2026

An NES CPU compiled into the weights of a stock Qwen3.5 model

Python 296 10 Updated Oct 30, 2026

A planetarium for your terminal! Explore stars, planets, constellations, and more, all rendered right in the command line—no telescope required. ✨🪐

C 2,544 67 Updated Sep 11, 2026

Your GeForce runs AI at half speed. This fixes it for 20/30/40 series cards. Up to 2× FP16 / BF16 / TF32 tensor throughput

C 19,230 1,978 Updated Oct 29, 2026

Offline FairPlay App Store IPA decryption with independent key derivation

C 2,443 378 Updated Nov 8, 2026

The Goose Programming Language

C++ 3,502 162 Updated Nov 13, 2026

DeepInfer: High-performance, large-scale inference framework for DeepSeek models

Python 25,964 3,189 Updated Nov 3, 2026

Under-actuated drone with only one motor

586 100 Updated Oct 10, 2026

Python module for quantum chemistry

Python 1,723 777 Updated Nov 12, 2026

μRepRap - A 3D printer project designed to work at the micron scale

OpenSCAD 324 21 Updated Nov 13, 2026

Commodore 64 hardware simulator

C 436 20 Updated Oct 20, 2026

A sub-micrometer 3D motion control plattform.

C++ 2,255 292 Updated Oct 11, 2026

A CAD application built with Rust — 2D/3D drawing, DWG/DXF support, and GPU-accelerated rendering

Rust 4,036 487 Updated Nov 13, 2026

High-performance vector search for PostgreSQL

C 440 15 Updated Nov 13, 2026
Lean 17,524 1,987 Updated Oct 30, 2026

An open-source AI accelerator, developed by AI: RTL, ISA, simulator, compiler and profiler in one repo. Runs Qwen3, LFM2.5 and Qwen3.5 on a Kintex-7 PCIe card.

Verilog 966 96 Updated Nov 11, 2026

PhotoCraft: An open-source photo editor written from scratch in pure Rust

Rust 79,192 13,993 Updated Nov 13, 2026
Python 2,673 123 Updated Sep 15, 2024

Daily AI ecosystem digest from 10 sources (GitHub, ArXiv, HN, HuggingFace, Product Hunt, Dev.to, Lobste.rs). Bilingual ZH/EN reports via GitHub Actions.

TypeScript 1,160 226 Updated Nov 13, 2026

Tool for automatic PS5 executables porting to Linux and Windows

C++ 53,714 5,123 Updated Nov 13, 2026

Benchmark for tracking model capability after release.

Python 1,905 24 Updated Nov 13, 2026

Mirror of gmplib

C 4 2 Updated Nov 2, 2026

A valgrind mirror with latest macOS support

C 1,399 75 Updated Nov 11, 2026
Python 41 26 Updated Sep 4, 2026

Experimental and calculated small molecule hydration free energies

Python 147 56 Updated Apr 3, 2026
Next
0