gleachkr

FiraLogic

A FOSS font for logical notation.

ProofJS

A UI Widget for Gentzen-style proof layouts

TermRewriting

Lean formalizations of results from Term Rewriting and All That

OL-Slides

ProofML

MathML, but for proofs

razzle

HTML Presentation Primitives

Vampire-Nix

A quick repackaging of a recent vampire version

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

awesome-matrix

A curated list of things related to the Matrix ecosystem, including software, research, etc.

bap-nix

An experimental Nix flake for building bap

carnap-javascript

Javascript snippets and widgets for use with Carnap.io

Completeness-For-Fine-Semantics

Completeness Proofs for Relevant Logics Using Fine-Style Semantics

diagrams-core

Core types and utilities

diagrams-svg

An SVG backend for diagrams

elf-viz-proto

Morgoth: ELF Dissector

en.javascript.info

Modern JavaScript Tutorial

generator-bespoke

Create Bespoke.js presentations using Yeoman.

GHC-Repro

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

instant.nvim

collaborative editing in Neovim using built-in capabilities

issue

LanguageClient-neovim

Language Server Protocol support for neovim.

logic_and_proof

CMU Undergrad Course

luakit

Fast, small, webkit based browser framework extensible by Lua.

nvim-cmp-lua-latex-symbols

nvim-cmp source for LaTeX symbols (100% Lua)

PdfFinderBot

SlideTemplate

A simple slide template for Carnap with minimal dependencies

vimtex

A modern vim plugin for editing LaTeX files.

wasm-lean

Nix template for a minimal lean-wasm project

WebsocketPool

A yesod subsite for managing a pool of websocket connections