Pinned Repositories
disaggregated-litmus
enumstabilizers
My bachelors thesis in mathematics
epeg_isabelle
flint2
My development repo for work on FLINT (Fast Library for Number Theory)
lean-power-calc
lost-pop-lean
POP Memory Model in Lean
C-parsing-for-Lean4
A parser for ANSI C, in Lean4.
egg-tactic-code
lean-mlir
A minimal development of SSA theory
mocasin
goens's Repositories
goens/lost-pop-lean
POP Memory Model in Lean
goens/lean-power-calc
goens/epeg_isabelle
goens/generalized-rewriting
goens/advent-of-code-2023-koka
My Attempt at Advent of Code 2023, this time in Koka
goens/goens.org
My personal website
goens/iris-lean
Lean 4 port of Iris, a higher-order concurrent separation logic framework
goens/awesome-egraphs
An awesome list of e-graph resources
goens/cmm-axiomatic
goens/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
goens/egg-sketches
sketches for egg: a flexible, high-performance e-graph library
goens/equational_theories
A project to map out the relations between different equational theories of Magmas.
goens/ExtParser
Extensible Grammar Parser
goens/graph-library-for-lean4
goens/KalaNamak
goens/lean-calcify
goens/lean-egg
A (WIP) equality saturation tactic for Lean based on egg.
goens/lean-murphi
An embedding of the Murphi model checking language into Lean
goens/lean-simpl
goens/lean4-entemology
Where we collect lean4 bugs
goens/logitext
Beautiful, interactive visualizations of logical inference
goens/lucid-uva
A modern Beamer theme you can use without installing dozens of CTAN packages.
goens/mcm-pipeline-dsl
goens/mixedproxy
goens/nixpkgs
Nix Packages collection & NixOS
goens/promela-examples
A few examples in Promela
goens/send-emails-from-csv
A simple python script to send a few emails reading from a csv file
goens/slotted-metatheory
goens/turtlebot-maze-generator
goens/website-theory-amsterdam