Lists (1)
Stars
Automatically generates beautiful and easy-to-read ER diagrams from your database.
Terminal based intercepting proxy written in rust with tmux and vim as user interface.
Integrating diagramming and data visualization
Open source book dedicated to helping you to make the best possible sourdough bread at home.
A pandoc LaTeX template to convert markdown files to PDF or LaTeX.
A slightly improved variant of the official thesis sample
21 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
An elegant and minimalistic replacement for make, written in C.
Parsing Expression Grammar (PEG) parser generator for Rust
matrix (web-based green code rain, made with love)
🔒 Memorable site for testing clients against bad SSL configs.
Doing dirty (but extremely useful) things with equals.
Dafny is a verification-aware programming language
Karmem is a fast binary serialization format, faster than Google Flatbuffers and optimized for TinyGo and WASM.
This is a portable implementation of the FreeBSD kernel block-device encryption framework (with read/write support). Currently, GNU/Linux is supported but support may grow to other operating system…
This repository started out as a learning in public project for myself and has now become a structured learning map for many in the community. We have 3 years under our belt covering all things Dev…
Create a local backup of your HEAD branch