Arad Arbel's Projects
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Univalent mathematics in Agda
Config files for my GitHub profile.
Arduino utility to to control an LCD connected to an Arduino board using Arduino.
A collection of examples for context free grammars along with string matched by those grammars
A small low-level imperative programming language
Create mutable C++ containers at compile-time, then use them during run-time!
A bunch of Web tools making use of the Rumpus API
A simple C++20 OpenGL graphics API
An example implementation of a dependent type theory in OCaml
normalization by evaluation as a way of life
Solutions for 99 Problems in OCaml
I'm fired up, I'm HoTT, don't shut me down
Agda formalization of the simply typed lambda calculus
A functional programming language based on system F (omega) ft. NbE and higher order unification
A collection of demos written in x86 ASM.