A lazy functional language that compiles to JavaScript

Mobile and Web client for Codex and Claude Code, with realtime voice, encryption and fully featured

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 that allows you to remove pre-installed apps, disable telemetry, as well as perform various other changes to declutter and customize your Windows experience.…

(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

ⵣ Ki Editor - Multi-cursor combinatoric modal editor.

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