Graham Leach-Krouse's repositories
TermRewriting
Lean formalizations of results from Term Rewriting and All That
Vampire-Nix
A quick repackaging of a recent vampire version
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
apalache
APALACHE: symbolic model checker for TLA+ and Quint
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
haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
instant.nvim
collaborative editing in Neovim using built-in capabilities
logic_and_proof
CMU Undergrad Course
nvim-cmp-lua-latex-symbols
nvim-cmp source for LaTeX symbols (100% Lua)
SlideTemplate
A simple slide template for Carnap with minimal dependencies
WebsocketPool
A yesod subsite for managing a pool of websocket connections