Stars
A collection of global government warnings, vendor security advisories, and news headlines about OpenClaw Security for AI builders, developers, and investors. Updated twice daily.
A proof assistant for higher-dimensional type theory
AirPods liberated from Apple's ecosystem.
Print & fold your own pocket-sized Gutenberg classics
A simple research-oriented image viewer with an emphasis on examining and comparing high-dynamic range (HDR) images.
🌀 A parts mapping tool for IFS practitioners and their clients
Ludwig Wittgenstein's Works as .epub, .mobi, .pdf and .md
Allows you to bulk download all your Kindle eBook in a more automated fashion. This tool allows you to create backup copies of the books you've already purchased.
Haskell implementation of open games
Calibre-Web but Automated and with tons of New Features! Fully automate and simplify your eBook set up!
Applied category theory applied to epidemiological models
Open source book dedicated to helping you to make the best possible sourdough bread at home.
Physarum/organic simulations inspired by "36 Points". Interaction with gamepad for artistic installation. (using openFrameworks)
Simplicial Sets and the Discrete Exterior Calculus
Stochastic graph rewriting for agent based modeling
Extracts and formats text annotations from a PDF file
This project reimplements in Elm the data structures presented in the book "Purely Functional Data Structures" by Professor Okasaki (1999). Okasaki first published this material in 1996 in his PhD …
Content of the Active Inference Journal
Utilities and Documentation for creating contents for the Active Inference Journal
uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.
A privacy-first, self-hosted, fully open source personal knowledge management software, written in typescript and golang.
A minimal Jekyll theme inspired by Tufte CSS
The John Doe template converted into a Jekyll theme
A web-based application for collaborating on simulation models in real-time using Firebase
Notes on how we potentially could build reliable, scalable and maintainable computer systems.
Github Pages template based upon HTML and Markdown for personal, portfolio-based websites.