Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-analysis
Terence Tao's Analysis I, formalized in Agda
agda-quotients
Examples of quotient types in Agda
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-analysis
pyfind
Tutorial for writing a Python implementation of the Unix 'find' command
python-drills
Learn Python syntax through repetition
tlpi-rust
Translating programs from the book "The Linux Programming Interface" to Rust
cruhland's Repositories
cruhland/tlpi-rust
Translating programs from the book "The Linux Programming Interface" to Rust
cruhland/agda-analysis
Terence Tao's Analysis I, formalized in Agda
cruhland/agda-quotients
Examples of quotient types in Agda
cruhland/lean4-analysis
cruhland/python-drills
Learn Python syntax through repetition
cruhland/computer-systems-class
Resources for teaching computer systems fundamentals
cruhland/gentzen
Interactive theorem proving using natural deduction
cruhland/js-scratchpad
My attempt to learn JavaScript by building things
cruhland/pyfind
Tutorial for writing a Python implementation of the Unix 'find' command
cruhland/agda
Agda is a dependently typed programming language / interactive theorem prover.
cruhland/agda-axiomatic
Building things with records of axioms instead of GADTs
cruhland/lean4-axiomatic
cruhland/agda-calc
A simple calculator REPL in Agda
cruhland/agda-editor
Text editor written in Agda
cruhland/fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
cruhland/lean4-metaprog
Following along with the book "Metaprogramming in Lean 4"
cruhland/notes
Useful information and random musings
cruhland/theorem-proving-in-lean4
Code samples and worked exercises from https://leanprover.github.io/theorem_proving_in_lean4/
cruhland/verified-fp-in-agda
Working through Aaron Stump's "Verified Functional Programming in Agda"