Lists (32)
Bitmap fonts
11 repositories
C header libraries
32 repositories
Caddy
18 repositories
Compile to Go
Compilers targeting Go.5 repositories
Deployment and SCM
11 repositories
Disk usage
5 repositories
Forum software
13 repositories
FreeBSD
31 repositories
Go CLI
Libraries for creating command-line interfaces.8 repositories
Logic programming
23 repositories
Native inference
Neural network inference in a native binary. Projects inspired by llama.cpp.13 repositories
Overlay networks
9 repositories
Pastebins and file uploading
Servers and tools for sharing files and text pastes over HTTP.11 repositories
Python class serialization
7 repositories
Python CLI
Libraries for creating command-line interfaces.11 repositories
Python component-based web UI
19 repositories
Python debugging
4 repositories
Python error handling
7 repositories
Python HTML DSLs
6 repositories
Python ORM
Python ORMs and query builders.11 repositories
Python project management
7 repositories
Python scripts with deps
Tools for writing single-file Python scripts that download their dependencies. More for different languages: https://dbohdan.com/scripts-with-dependencies6 repositories
Python type checkers
8 repositories
RESP databases
Databases that speak the Redis serialization protocol (RESP) and are compatible with Redis clients.12 repositories
Retro dev
Development for old platforms.33 repositories
Secrets management
11 repositories
Shell enhancements
Quick navigation and improved history.7 repositories
Standard ML
13 repositories
Starlark
A Python-like scripting language that isn't Turing-complete. See https://laurent.le-brun.eu/blog/an-overview-of-starlark19 repositories
Task runners
15 repositories
Unix session persistence
8 repositories
USB multiboot
7 repositories
Stars
4
stars
written in TeX
Clear filter
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
*Good* Image Protocol - a formalization of a proposal for a new image protocol for virtual terminal emulators
A text markup standard focusing on being intuitive and fast to parse.