Archive for all Rocq and Coq-related opam packages organized in various repositories

A Coq library for Homotopy Type Theory

Agda formalisation of the Introduction to Homotopy Type Theory

🦋 Problem Solving, a repo for handling problems that require review, deliberation and possibly debate

Base framework offering a Lua scriptable environment for creating document readers

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

Toy typechecker for Insanely Dependent Types

Design discussions about the OCaml language

Yet another META II fork

A simple, lightweight PowerShell script to remove pre-installed apps, disable telemetry, as well as perform various other changes to customize, declutter and improve your Windows experience. Win11D…

(Previously) Desktop Sync client for bewCloud built with Rust using Tauri. 😎 ♾️

Calculator using RAku Grammars, for the command line

Examples of the Air web authoring module(s)

Simple charts for Raku command-line programs

Typed effects API for OxCaml

OCaml - Oxidized!

A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search

Neovim structured editing plugin

Language Server for Agda

agda-mode for neovim

A safe, easy systems language

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

A User shell for LASH

The Flix Programming Language

A collaborative bibliography of work related to the theory and practice of computational effects

NQP