cruhland

agda-analysis

Terence Tao's Analysis I, formalized in Agda

tlpi-rust

Translating programs from the book "The Linux Programming Interface" to Rust

agda-quotients

Examples of quotient types in Agda

lean4-analysis

python-drills

Learn Python syntax through repetition

computer-systems-class

Resources for teaching computer systems fundamentals

gentzen

Interactive theorem proving using natural deduction

js-scratchpad

My attempt to learn JavaScript by building things

lean4-axiomatic

pyfind

Tutorial for writing a Python implementation of the Unix 'find' command

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-axiomatic

Building things with records of axioms instead of GADTs

agda-calc

A simple calculator REPL in Agda

agda-editor

Text editor written in Agda

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

notes

Useful information and random musings

theorem-proving-in-lean4

Code samples and worked exercises from https://leanprover.github.io/theorem_proving_in_lean4/

verified-fp-in-agda

Working through Aaron Stump's "Verified Functional Programming in Agda"