3nol's Stars
ccz181078/Coq-BB5
jackyzha0/quartz
🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites
xdev-software/thread-origin-agent
Find out who creates your Java threads
saladtheory/saladtheory.github.io
Salad Theory
akuhtz/proxy-vole
Proxy Vole is a Java library to auto detect the platform network proxy settings.
snavely/bundler_sfm
Bundler Structure from Motion Toolkit
sdkman/sdkman-cli
The SDKMAN! Command Line Interface
sharkdp/bat
A cat(1) clone with wings.
jmlipman/LAID
Lipman's Artificial Intelligence Directory
vituscze/fp
ufal/slimd
SliMD presentation system based on Markdown and HTML5&js.
pkgxdev/pkgx
the last thing you’ll install
tinygrad/tinygrad
You like pytorch? You like micrograd? You love tinygrad! ❤️
mxgmn/MarkovJunior
Probabilistic language based on pattern matching and constraint propagation, 153 examples
iluwatar/java-design-patterns
Design patterns implemented in Java
jgm/pandoc
Universal markup converter
Hypercookie/UsefulDecorators
Some Decorators I use for various purposes. Some more useful, some less.
jhermsmeier/git-branch-select
Git plugin for interactive branch listing, selection & checkout
Hypercookie/PlusOneInC
Can you add one to a number without using anything but #define ?