Skills for Real Engineers. Straight from my .agents directory.

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA

OCaml backend for Idris2

MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

Package manager for Idris

Standalone AArch64 Emulator Library

A libretro-inspired system for .NET emulators

SPLV20 course notes

Idris on the JVM

Benchmarks for capture-avoiding substitution

Harmonize with coworkers around GitHub reviewing.

"Functional and Reactive Domain Modeling"

Software Foundations in Idris

Extended code samples related to the book "Domain Modeling Made Functional". Buy the book here: https://pragprog.com/book/swdddf/domain-modeling-made-functional or here https://fsharpforfunandprofi…

a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.

Javascript DOM bindings for Idris2

Visual Studio Code integration for the Idris 2 language server

The Ivory EDSL

🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.

Automatically derivable JSON marshallers in the spirit of Haskell's aeson