Sources for "Applied Category Theory for Engineering"

Rethinking our existing HDL Calculus (System-V) both theoretically & practically; It is System-V2

Concurrency and streaming in interactive web pages

A proof-of-concept modelling language to reason about the physical structure of hardware interfaces respective to user provided descriptions.

Language Server for Agda

A sub-micrometer 3D motion control plattform.

AirPods liberated from Apple's ecosystem.

A library for simple concurrency without parallelism

Universal memory layer for AI Agents

Linear Circuits but not as we know it: Using Linear Types to enforce wiring decisions.

a http(s) client in idris

Mirror of https://git.tokinanpa.dev/toki/idris2-lens

The best ChatGPT that $100 can buy.

formally verified category theory library

A new browser, not owned by Atlassian.

A small automated session manager for Neovim

MIRROR of: https://codeberg.org/mfussenegger/nvim-jdtls

Improve keyboard comfort and usability with advanced customization

Neovim config WITHOUT plugins

Performant, batteries-included completion plugin for Neovim

Edit and review GitHub issues and pull requests from the comfort of your favorite editor

💥 Highly experimental plugin that completely replaces the UI for messages, cmdline and the popupmenu.

A neovim lua plugin to help easily manage multiple terminal windows

Get tmux status components for your statusline