Clear to write, read and edit DSL for writing HTML

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

Manage and switch between multiple proxies quickly & easily.

Provides read and write access to the Minecraft protocol with Bukkit.

Out-of-the-box, customizable and multilingual theorem environment package for Typst.

?????? A data-parallel functional programming language

A typst package for displaying the active section in the page header or footer.

A formalized proof of Carleson's theorem in Lean

Lean and powerful adblocking solution for OpenWrt

A programming language with static memory management based on λ-calculus

NVR with realtime local object detection for IP cameras

A GHC plugin for loops and mutability

Natural language tactics to teach mathematics using Lean 4

Separation Logic Proofs in Lean

The matrix cookbook, proved in the Lean theorem prover

数学系のためのLean勉強会

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

Nix - Static, Permissionless, Installation-free, Pre-configured

Clone a Spotify playlist to YouTube Music

Files associated with the course Interactive Theorem Proving at LMU SoSe 2024

Inspection Testing for Haskell

Pastebin on Cloudflare worker, with friendly CLI usage and rich features

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

Demo for high-performance type theory elaboration

λλλλ Lennart Augustsson's λ-calculus cooked four ways

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Fast equality saturation in Haskell

Translate between LaTeX / TeX math markup and Typst in your browser.

Typst Package to typeset inference rule