3-stage RV32IMACZb* processor with debug

A Lean 4 formalization of partial combinatory algebras.

A tangible interface for virtual things

A collection of resources for learning type theory and type theory adjacent fields.

Remind your website’s visitors to stay safe in the wilderness of the world wide web.

Writing an OS in Rust

Functional language for parallel programming

papers of Per Martin Löf

Purely functional GUI algebra

A modern supercompiler for call-by-value functional languages

The collected works of F. W. Lawvere

🌐 The Internet OS! Free, Open-Source, and Self-Hostable.

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

By the Bluebook implementation of Smalltalk-80

Janet Project Manager

Systems language with linear types and capability-based security.

Slides and handwritten notes on the course on models of programming languages

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

Lecture notes on realizability

⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra

A self-contained JavaScript wiki for the browser, Node.js, AWS Lambda etc.

Factor programming language - Github mirror of official GIT repo