Stars
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Compiler front-end foundation technology.
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
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
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.