Assets for the book "Logic for Programmers"

The Push programming language and the PushGP genetic programming system implemented in Clojure.

AIS message decoding and encoding in Python (AIVDM/AIVDO)

AgentCompass is an extensible open-source evaluation infrastructure for systematically assessing LLM/VLM agent capabilities.

Metacognition in LLMs: Foundations, Progress, and Opportunities

A flight-compliant WebAssembly interpreter.

Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications

The AWS Workload Credentials Provider (formerly the AWS Secrets Manager Agent) is a client-side solution that helps you standardize how you consume credentials from AWS services across your compute…

Sesame CLI — proxy authenticated HTTP requests through a user-controlled broker so AI agents never see credentials. Install: curl -fsSL https://getsesame.dev/install.sh | sh

Property-based testing for Rust, built on Hypothesis

A Clojure network REPL that provides a server and client, along with some common APIs of use to IDEs and other tools that may need to evaluate Clojure code in remote environments.

VS Code extension for the Lean 4 programming language and theorem prover

High-performance data-driven data specification library for Clojure/Script.

An open source multi-tool for exploring and publishing data

Implementation for Org-roam of Karpathy's LLM Wiki concept

A Clojure compiler implemented on top of Chez Scheme

Verified Rust for low-level systems code

The math library of Lean 4

Material for an automata and formal languages course written in the verification-aware programming language Dafny.

An overlay on Eglot for editing OCaml code using LSP

Emacs OCaml mode

Dolt – Git for Data

Python library for running a MicroPython sandbox using WebAssembly

Self-hosted AI workspace.

VSA Computing Experiments in Clojure

Elisp memoization functions

An Emacs web feeds client