Stars
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
version your SQL schemas with git + automatically migrate them
Wife approved HomeOps driven by Kubernetes and GitOps using Flux
Salesforce Open Source Library
An small upgrade for the Voron 0.2 to make it print slightly faster
A very small 3D printer! that slightly smaller than an A4 paper including a spool of filament.
Fully customizable login flow for your applications. Get started in minutes, not hours!
Machine Learning From Scratch. Bare bones NumPy implementations of machine learning models and algorithms with a focus on accessibility. Aims to cover everything from linear regression to deep lear…
Storage for private, distributed, offline-first applications.
A reference library for constraint-solving with propagators and CDCL.
The multi-threaded frontend framework for ultra-fast, desktop-like enterprise web applications
Translated English Manual for Niz Plum 84EC(S) Pro-Ble Non RGB manual keyboard
A List of Foundational Haskell Papers
Experiments using a bidirectional typesystem
An open-source framework for detecting, redacting, masking, and anonymizing sensitive data (PII) across text, images, and structured data. Supports NLP, pattern matching, and customizable pipelines.
An introductory course to Homotopy Type Theory
Define Backwards Compatibility Schemes for Arbitrary Data
Exemplary real world application built with PureScript + Halogen
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell