Stars
A course on Rakudo and NQP internals, developed by Edument AB.
Replacement board for Casio Calculator Watches using the CC430F6147
Mirror of https://gitlab.redox-os.org/redox-os/redox
A collaborative bibliography of work related to the theory and practice of computational effects
An experimental type checker for a modal dependent type theory.
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
An interactive theorem prover based on lambda-tree syntax
Presentation software based on nested, zoomable canvases and live code.
An experimental category theory library for Lean
OCaml & Reason support for Visual Studio Code
An axiom-free formalization of category theory in Coq for personal study and practical work
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
A small implementation of a proof refinement logic.
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
A statically-typed, functional typesetting system
The best way to write secure and reliable applications. Write nothing; deploy nowhere.