Repos
86
Stars
16
Forks
9
Top Language
Haskell
Loading contributions...
Top Repositories
dependently typed programming language with timeless referential transparently
Android app to prevent your device from unlocking during a specified time of the day.
Compiler for the dead language ANI
KICAD models for Anderson Powerpole PCB Connectors
Invert the luminosity of websites.
Repositories
86NixOS MicroVMs
ECMAScript back end for Functional Reactive Programming in Agda
A pure-Rust implementation of group operations on Ristretto and Curve25519
KICAD models for Anderson Powerpole PCB Connectors
Maintainable configuration files
Loomio is a collaborative decision making tool
No description provided.
No description provided.
A work-in-progress board-level hardware description language (HDL) providing design automation through generators and block polymorphism.
Android app to prevent your device from unlocking during a specified time of the day.
the official Rust and C implementations of the BLAKE3 cryptographic hash function
Haskell code prettifier
Resources for building electronics in a sustainable, ethical, and thoughtful way.
Invert the luminosity of websites.
Haskell library implementing "Data Types a la Carte"
dependently typed programming language with timeless referential transparently
Compiler for the dead language ANI
Telegram Web Z, GPL v3
Access the builtin URL class regardless of platform.
BitraversableWithIndex for Haskell
keystroke logging and analysis tools
Hash functions optimized for binary trees.
Fabricating Adaptive Builders
polymorphic time queries and arithmetic
polymorphic fixed point arithemtic in haskell
Existential types for data fulfilling constraints.
overridable pretty printing for verbose messages
Locale sensitive error messages for Haskell
Locale-Sensitive Pretty Printer
Word lists for human-memoriable encoding of large bases.