Stars
Julia REPL mode for selecting and running test files and testsets
A collaborative environment for formal, interoperable, conceptual modeling
Grafana Mimir provides horizontally scalable, highly available, multi-tenant, long-term storage for Prometheus.
Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more
The easiest, most secure way to use WireGuard and 2FA.
Arduino Audio Tools (a powerful Audio library not only for Arduino)
Sample code for reading audio samples from the ESP32 ADC using I2S
Sample code for the ICS-43434 breakout board and the ESP32
GUI for a Vocal Remover that uses Deep Neural Networks.
A Walkie-Talkie based around the ESP32 using UDP broadcast or ESP-NOW
A Walkie-Talkie based around the ESP32 using UDP broadcast or ESP-NOW
A series of exercises for learning Category Theory in Agda
Documentation and code for Hack the MontyHome device for extended applications.
Laser for control mosquito, weed, and pest
Logical manifestations of topological concepts, and other things, via the univalent point of view.
A collection of resources for learning type theory and type theory adjacent fields.
A massively parallel, high-level programming language
A curated list of awesome Category Theory resources.
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.