VHDL 2008/93/87 simulator

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

Run LLMs with MLX

The open source coding agent.

A universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.

Erlang code generator for Idris 2

Terminal-based typing test.

OpenSCAD - The Programmers Solid 3D CAD Modeller

🌸 A command-line fuzzy finder

The hacker's browser.

An open-source AI coding agent that lives in your terminal.

Simple UI for https://github.com/tpope/vim-dadbod

Utility types for HTTP requests and responses

⚡️ ML Kit plugins for Capacitor. Supports Android and iOS.

⚡️ Community plugins for Capacitor. Supports Android, iOS and the Web.

Parsers and (eventually) Idris code generator for WebIDL documents

Marketing skills for Claude Code and AI agents. CRO, copywriting, SEO, analytics, and growth engineering.

Lawful algebraic structures in Idris2

Build cross-platform Native Progressive Web Apps for iOS, Android, and the Web ⚡️

Javascript DOM bindings for Idris2

Single Page Web Applications in Idris

OpenLane is an automated RTL to GDSII flow based on several components including OpenROAD, Yosys, Magic, Netgen and custom methodology scripts for design exploration and optimization.

Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2

GitHub’s official command line tool

JavaScript Engine Optimized for Lynx

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