timon999's Stars
bayandin/awesome-awesomeness
A curated list of awesome awesomeness
nothings/stb
stb single-file public domain libraries for C/C++
danny-avila/LibreChat
Enhanced ChatGPT Clone: Features Anthropic, AWS, OpenAI, Assistants API, Azure, Groq, o1, GPT-4o, Mistral, OpenRouter, Vertex AI, Gemini, Artifacts, AI model switching, message search, langchain, DALL-E-3, ChatGPT Plugins, OpenAI Functions, Secure Multi-User System, Presets, completely open-source for self-hosting. Actively in public development.
srush/GPU-Puzzles
Solve puzzles. Learn CUDA.
nothings/single_file_libs
List of single-file C/C++ libraries.
angr/angr
A powerful and user-friendly binary analysis platform!
odin-lang/Odin
Odin Programming Language
AFLplusplus/AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
attractivechaos/klib
A standalone and lightweight C library
sirupsen/napkin-math
Techniques and numbers for estimating system's performance from first-principles
antonio-morales/Fuzzing101
An step by step fuzzing tutorial. A GitHub Security Lab initiative
pico-8/awesome-PICO-8
A curated list of awesome PICO-8 resources, carts, tools and more
ccache/ccache
ccache – a fast compiler cache
mkeeter/antimony
CAD from a parallel universe
mahmoud/glom
☄️ Python's nested data operator (and CLI), for all your declarative restructuring needs. Got data? Glom it! ☄️
jafioti/luminal
Deep learning at the speed of light.
tree-sitter/py-tree-sitter
Python bindings to the Tree-sitter parsing library
feldera/feldera
The Feldera Incremental Computation Engine
alexpovel/srgn
A grep-like tool which understands source code syntax and allows for manipulation in addition to search
gumyr/build123d
A python CAD programming library
augustss/MicroHs
Haskell implemented with combinators
JuliaMath/Roots.jl
Root finding functions for Julia
Felix-Petersen/difflogic
A Library for Differentiable Logic Gate Networks
h2oai/db-benchmark
reproducible benchmark of database-like ops
odin-lang/examples
Examples of idiomatic Odin code
teorth/equational_theories
A project to map out the relations between different equational theories of Magmas.
slimgroup/InvertibleNetworks.jl
A Julia framework for invertible neural networks
BosqueLanguage/BosqueCore
tlack/b-decoded
arthur whitney's b interpreter translated into a more traditional flavor of C
AlgebraicJulia/AlgebraicRewriting.jl
Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.