Highlights
- Pro
-
-
my answers to the challenge set from Bartosz Milewski's Category Theory for Programmers
Shell UpdatedJan 27, 2026 -
niivue-tinygrad Public
Forked from niivue/niivue-tinygradExperimental tinygrad brainchop segmentation + NiiVue
JavaScript BSD 2-Clause "Simplified" License UpdatedJan 26, 2026 -
pathtree Public
Forked from neuroneural/pathtreeMarginalizes latent variables in graphical models without losing essential delay (lag) information.
Python GNU General Public License v3.0 UpdatedJan 13, 2026 -
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedJan 1, 2026 -
ty Public
Forked from astral-sh/tyAn extremely fast Python type checker and language server, written in Rust.
Python MIT License UpdatedDec 29, 2025 -
RealAnalysisGame Public
Forked from AlexKontorovich/RealAnalysisGamemy solutions to the RealAnalysisGame
Lean Apache License 2.0 UpdatedDec 14, 2025 -
-
-
-
-
-
ddg-exercises-js Public
Forked from cmu-geometry/ddg-exercises-jsJavaScript MIT License UpdatedDec 1, 2025 -
neuroneural.github.io Public
Forked from neuroneural/neuroneural.github.ioHTML UpdatedNov 20, 2025 -
llama.cpp Public
Forked from ggml-org/llama.cppLLM inference in C/C++
C++ MIT License UpdatedNov 17, 2025 -
tinygrad Public
Forked from tinygrad/tinygradYou like pytorch? You like micrograd? You love tinygrad! ❤️
Python MIT License UpdatedNov 16, 2025 -
-
opencode Public
Forked from anomalyco/opencodeThe AI coding agent built for the terminal.
TypeScript MIT License UpdatedNov 1, 2025 -
analysis Public
Forked from teorth/analysisA Lean companion to Analysis I
Lean Apache License 2.0 UpdatedNov 1, 2025 -
-
brainchop-cli Public
Forked from neuroneural/brainchop-cliPortable and lightweight brain segmentation in the terminal!
-
-
-
niimath Public
Forked from rordenlab/niimathadding minimal python bindings to niimath
C Other UpdatedOct 13, 2025 -
prime-environments Public
Forked from PrimeIntellect-ai/prime-environmentsTraining-Ready RL Environments + Evals
Python Apache License 2.0 UpdatedOct 10, 2025 -
verifiers Public
Forked from PrimeIntellect-ai/verifiersVerifiers for LLM Reinforcement Learning
Python MIT License UpdatedOct 9, 2025 -
-
-
lean_bench Public
sdk for using the lean compiler against llm generated code
Python MIT License UpdatedSep 29, 2025