timon999

timon999's Stars

• jafioti/luminal

  Deep learning at the speed of light.

  Language:Rust1.5k90

• slimgroup/InvertibleNetworks.jl

  A Julia framework for invertible neural networks

  Language:Julia15123

• feldera/feldera

  The Feldera Incremental Computation Engine

  Language:Rust58139

• nothings/stb

  stb single-file public domain libraries for C/C++

  Language:C26.5k7.7k

• attractivechaos/klib

  A standalone and lightweight C library

  Language:C4.2k555

• teorth/equational_theories

  A project to map out the relations between different equational theories of Magmas.

  Language:Lean11129

• tree-sitter/py-tree-sitter

  Python bindings to the Tree-sitter parsing library

  Language:C838100

• alexpovel/srgn

  A grep-like tool which understands source code syntax and allows for manipulation in addition to search

  Language:Rust6126

• h2oai/db-benchmark

  reproducible benchmark of database-like ops

  Language:R32588

• augustss/MicroHs

  Haskell implemented with combinators

  Language:Haskell33920

• tlack/b-decoded

  arthur whitney's b interpreter translated into a more traditional flavor of C

  Language:C968

• nothings/single_file_libs

  List of single-file C/C++ libraries.

  8.9k584

• mkeeter/antimony

  CAD from a parallel universe

  Language:C++2.1k159

• bayandin/awesome-awesomeness

  A curated list of awesome awesomeness

  Language:Ruby31.7k3.5k

• pico-8/awesome-PICO-8

  A curated list of awesome PICO-8 resources, carts, tools and more

  2.6k92

• srush/GPU-Puzzles

  Solve puzzles. Learn CUDA.

  Language:Jupyter Notebook9.2k554

• mahmoud/glom

  ☄️ Python's nested data operator (and CLI), for all your declarative restructuring needs. Got data? Glom it! ☄️

  Language:Python1.9k61

• angr/angr

  A powerful and user-friendly binary analysis platform!

  Language:Python7.5k1.1k

• gumyr/build123d

  A python CAD programming library

  Language:Python50485

• sirupsen/napkin-math

  Techniques and numbers for estimating system's performance from first-principles

  Language:Rust3.6k143

• AlgebraicJulia/AlgebraicRewriting.jl

  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.

  Language:Julia255

• touying-typ/touying

  Touying is a powerful package for creating presentation slides in Typst.

  Language:Typst60815

• Jollywatt/typst-fletcher

  Typst package for drawing diagrams with arrows, built on top of CeTZ.

  Language:Typst3406

• tomnomnom/gron

  Make JSON greppable!

  Language:Go13.8k327

• rxi/microui

  A tiny immediate-mode UI library

  Language:C3.5k240

• zserge/fenster

  The most minimal cross-platform GUI library

  Language:C++76439

• ozkl/doomgeneric

  Easily portable doom

  Language:C1.2k152

• rossant/awesome-math

  A curated list of awesome mathematics resources

  Language:Python8.7k950

• nick-gravgaard/qwerty-flip

  Language:AutoHotkey362

• ouch-org/ouch

  Painless compression and decompression in the terminal

  Language:Rust2.2k75