dbohdan
Follow
Lists (21)
Bitmap fonts
4 repositories
C single-file libraries
16 repositories
Caddy
12 repositories
Disk usage
5 repositories
Forum software
11 repositories
Logic programming
19 repositories
Overlay networks
5 repositories
Pastebins and file uploading
Servers for sharing files and text pastes over HTTP.6 repositories
Python class serialization
5 repositories
Python CLI
Libraries for creating command-line interfaces.10 repositories
Python component-based web UI
17 repositories
Python debugging
4 repositories
Python ORM
Python ORMs and query builders.9 repositories
Python project management
6 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-dependencies5 repositories
Python type checkers
5 repositories
RESP databases
Databases that speak the Redis serialization protocol (RESP) and are compatible with Redis clients.10 repositories
Retro dev
Development for old platforms.12 repositories
Session persistence
6 repositories
Standard ML
9 repositories
Task runners
10 repositories
Stars
12
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
A statically typed lisp, without a GC, for real-time applications.
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
Miscellaneous articles. The readme is the table of contents.
Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcap…
Call Haskell functions from any programming language via serialization and dynamic libraries
A language for matching two-dimensional patterns, based on Boolean grammars.