BitterKanegul
Follow
-
-
-
ABSTRACT_MACHINES Public
Implementing PL Papers related to abstract machines
Makefile UpdatedNov 14, 2025 -
tinker-cookbook Public
Forked from thinking-machines-lab/tinker-cookbookPost-training with Tinker
Python Apache License 2.0 UpdatedOct 1, 2025 -
public-paper-notes Public
A public record of the notes I take on different papers
UpdatedSep 26, 2025 -
DidierStevensSuite Public
Forked from DidierStevens/DidierStevensSuitePlease no pull requests for this repository. Thanks!
Python UpdatedSep 24, 2025 -
Canonical Public
Forked from chasenorman/CanonicalCanonical is a performant sound and complete type inhabitation solver for dependent type theory.
Lean MIT License UpdatedSep 8, 2025 -
hackathon Public
Forked from janestreet-gpu-mode/hackathonCode for the 9/6 Hackathon
Jupyter Notebook UpdatedSep 6, 2025 -
ZipDiff Public
Forked from ouuan/ZipDiff[USENIX Security '25] My ZIP isn’t your ZIP: Identifying and Exploiting Semantic Gaps Between ZIP Parsers
Rust Apache License 2.0 UpdatedAug 22, 2025 -
-
Awesome-Parallel-Text-Generation Public
Forked from zhanglingzhe0820/Awesome-Parallel-Text-GenerationUpdatedAug 15, 2025 -
-
renderdoc Public
Forked from baldurk/renderdocRenderDoc is a stand-alone graphics debugging tool.
C++ MIT License UpdatedJul 23, 2025 -
-
-
all-git-repos-jul-2025 Public
List of all GitHub repositories ever created including deleted
UpdatedJul 12, 2025 -
-
-
estimates Public
Forked from teorth/estimatesCode to automatically prove or verify estimates in analysis
Python Apache License 2.0 UpdatedMay 14, 2025 -
OllamaHoles Public
Forked from Tritlo/OllamaHolesLLM-powered typed-holes
Haskell MIT License UpdatedApr 15, 2025 -
kickstart.nvim Public
Forked from nvim-lua/kickstart.nvimA launch point for your personal nvim configuration
Lua MIT License UpdatedMar 12, 2025 -
vflog Public
Forked from harp-lab/vflogvertical + gpu + free join + datalog
Cuda UpdatedFeb 12, 2025 -
HeavyBall Public
Forked from HomebrewML/HeavyBallEfficient optimizers
Python BSD 2-Clause "Simplified" License UpdatedFeb 5, 2025 -
ultraspeed Public
Forked from honcharov-danylo/ultraspeedVery fast binary matrix multiplication on CPU
C UpdatedJan 24, 2025 -
-
rlc Public
Forked from rl-language/rlcBringing reinforcement learning to every day programmers
C++ Apache License 2.0 UpdatedNov 29, 2024 -
modded-nanogpt Public
Forked from KellerJordan/modded-nanogptNanoGPT (124M) in 5 minutes
Python MIT License UpdatedNov 22, 2024 -
DeTikZify Public
Forked from potamides/DeTikZifySynthesizing Graphics Programs for Scientific Figures and Sketches with TikZ
Python Apache License 2.0 UpdatedNov 20, 2024 -
kashiki2 Public
Forked from mitoma/kashiki2炊紙(kashikishi) is a text editor that utilizes GPU to edit text in a 3D space.
Rust MIT License UpdatedOct 5, 2024 -
einsum-search Public
Forked from AndPotap/einsum-searchJupyter Notebook MIT License UpdatedOct 4, 2024