Lean documentation authoring tool

A property-based testing library for zig.

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Compiler front-end foundation technology.

Spike, a RISC-V ISA Simulator

The "batteries included" extended library for the Lean programming language and theorem prover

Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.

Overview of tactics in Lean 4 for beginners — longer version

Reproducible PureScript projects with Nix

Low-level bindings to the Chez builtins

Spreadsheet management application on Halogen

Apply PureScript compiler suggestions to fix warnings

Types and codecs for the PureScript programming language written in PureScript

Host single page apps with GitHub Pages

Minimal implementations for dependent type checking and elaboration

Chez Scheme backend for PureScript

Type definitions and low level interface implementations for the CSS Object Model

Lightweight global state management for PureScript Halogen using halogen-hooks.

A tutorial about how to apply property-based testing to stateful systems.

Machine-readable references of terms defined in web browser specifications

A unidirectional value-based JSON codec library.

PureScript bindings for node-postgres.

Your CLI home video recorder 📼

CSS in PureScript