Lists (4)
Sort Name ascending (A-Z)
Cool
I don’t necessarily use this, but I appreciate that somebody built it.Helpful
Websites or repositories that I learned something from.Interesting
I find this project interesting or fascinating, but I don’t use it (yet).Useful
Tools that make my life better.- All languages
- Agda
- Assembly
- C
- C#
- C++
- COBOL
- CSS
- Clojure
- CoffeeScript
- Coq
- D
- Dart
- Emacs Lisp
- F#
- F*
- Fortran
- Go
- HTML
- Hack
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- KiCad Layout
- Kotlin
- Lua
- Max
- Nix
- OCaml
- Pascal
- Perl
- Pony
- Prolog
- PureScript
- Python
- R
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Shell
- Starlark
- TeX
- TypeScript
- Vala
- Vim Script
- WebAssembly
- hoon
Starred repositories
Architected for speed. Automated for easy. Monitoring and troubleshooting, transformed!
How to Make a Computer Operating System in C++
A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input
Free (libre) font editor for Windows, Mac OS X and GNU+Linux
Experimental, scalable, high performance HTTP server
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
Reference implementation for the peer-to-peer agent that manages the Stellar network.
Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
A dead simple tool to sign files and verify digital signatures.
A backup program for disk arrays. It stores parity information of your data and it recovers from up to six disk failures
LibTomCrypt is a fairly comprehensive, modular and portable cryptographic toolkit that provides developers with a vast array of well known published block ciphers, one-way hash functions, chaining …
SiriDB is a highly-scalable, robust and super fast time series database. Build from the ground up SiriDB uses a unique mechanism to operate without a global index and allows server resources to be …
myMPD is a standalone and mobile friendly web mpd client with a tiny footprint and advanced features.
OpenBSD tool to sign and verify signatures on files. Portable version.
Janus: a state-of-the-art file system fuzzer on Linux
Example code which uses SDL, cairo, freetype, FontConfig, and harfbuzz to do ttf/otf text layout and rendering
http://bcachefs.org
Nginx module for inserting delays when serving requests.
Peer to peer chat-program that sends data over Wi-Fi without associations.