A list of tech coops and resources concerning tech coops and worker owned cooperatives in general.

Make changes to FMHY

Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda

Prototyping an Agda backend to generate training data for machine learning.

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

The agda-unimath library

EPIT 2020 - Spring School on Homotopy Type Theory

Generate Haskell code from a type

A Lean tactic for Canonical, a search procedure for terms in dependent type theory.

Self-hosted game stream host for Moonlight.

Julia REPL mode for selecting and running test files and testsets

A collaborative environment for formal, interoperable, conceptual modeling

The Agda standard library

HVM3

Grafana Mimir provides horizontally scalable, highly available, multi-tenant, long-term storage for Prometheus.

dev tools, env vars, task runner

Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more

The easiest, most secure way to use WireGuard and 2FA.

SSD1306/SH1106 Driver for esp-idf

Truly independent web browser

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

DIY Alexa

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

A Coq library for Homotopy Type Theory