Pinned Repositories
Carnap-Old
An interactive proof checker that runs in the browser
FiraLogic
A FOSS font for logical notation.
nix-tools
Some simple nix derivations for tools I might want to use
OL-Slides
ProofJS
A UI Widget for Gentzen-style proof layouts
ProofML
MathML, but for proofs
razzle
HTML Presentation Primitives
TermRewriting
Lean formalizations of results from Term Rewriting and All That
Vampire-Nix
A quick repackaging of a recent vampire version
wasm-lean
Nix template for a minimal lean-wasm project
gleachkr's Repositories
gleachkr/FiraLogic
A FOSS font for logical notation.
gleachkr/ProofJS
A UI Widget for Gentzen-style proof layouts
gleachkr/nix-tools
Some simple nix derivations for tools I might want to use
gleachkr/TermRewriting
Lean formalizations of results from Term Rewriting and All That
gleachkr/OL-Slides
gleachkr/ProofML
MathML, but for proofs
gleachkr/razzle
HTML Presentation Primitives
gleachkr/Vampire-Nix
A quick repackaging of a recent vampire version
gleachkr/wasm-lean
Nix template for a minimal lean-wasm project
gleachkr/alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
gleachkr/awesome-matrix
A curated list of things related to the Matrix ecosystem, including software, research, etc.
gleachkr/bap-nix
An experimental Nix flake for building bap
gleachkr/carnap-javascript
Javascript snippets and widgets for use with Carnap.io
gleachkr/apalache
APALACHE: symbolic model checker for TLA+ and Quint
gleachkr/Completeness-For-Fine-Semantics
Completeness Proofs for Relevant Logics Using Fine-Style Semantics
gleachkr/diagrams-core
Core types and utilities
gleachkr/diagrams-svg
An SVG backend for diagrams
gleachkr/elf-viz-proto
Morgoth: ELF Dissector
gleachkr/en.javascript.info
Modern JavaScript Tutorial
gleachkr/GHC-Repro
gleachkr/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
gleachkr/instant.nvim
collaborative editing in Neovim using built-in capabilities
gleachkr/issue
gleachkr/logic_and_proof
CMU Undergrad Course
gleachkr/luakit
Fast, small, webkit based browser framework extensible by Lua.
gleachkr/nvim-cmp-lua-latex-symbols
nvim-cmp source for LaTeX symbols (100% Lua)
gleachkr/PdfFinderBot
gleachkr/SlideTemplate
A simple slide template for Carnap with minimal dependencies
gleachkr/vimtex
A modern vim plugin for editing LaTeX files.
gleachkr/WebsocketPool
A yesod subsite for managing a pool of websocket connections