Secure & isolated JS environments for nodejs

A library and language for building parsers, interpreters, compilers, etc.

ProseMirror's view component

Cloud Haskell core libraries

RealAnalysisGame

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Language Server for Agda

Collestion of lecture notes

Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality

From Calculus to Cohomology - Ib Madsen and Jørgen Tornehave

Terminal UI OS (Terminal Multiplexer)

Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, and labwc.

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Miscellaneous articles. The readme is the table of contents.

🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites

Formalization of Mathematical Logic

Hevea is a fast latex to html translator

C# code projects for my book, Fabulous Adventures in Data Structures and Algorithms

HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)

A project to map out the relations between different equational theories of Magmas.

An ott-like DSL embedded in Lean.

Migrate C code to Rust

PolyP - a polytypic programming language

A declarative Unix terminal UI library written in Haskell

Terminal-based presentations using Pandoc

revolutionary new technology that turns any image into obama

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

MiniJinja is a powerful but minimal dependency template engine for Rust compatible with Jinja/Jinja2