goens Goto Github PK

advent-of-code-2023-koka

My Attempt at Advent of Code 2023, this time in Koka

advent-of-code-22-rust

Advent of Code 2022 in Rust

advent-of-code21-rust

Trying out Advent of Code in Rust

chernikova-python

Python implementation of Chernikova's algorithm for converting a polytope in implicit representation to a set of generating rays and vertices

cmm-axiomatic

compound-axiomatic-alloy

Axiomatic compound memory models in Alloy

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.

ctf-haskell

Haskell Happy-Based Library for reading Common Trace Format traces

disaggregated-litmus

drakoon-racing

drakoon-racing2

A sequel to the (unfinished) drakoon racing game

egg-sketches

sketches for egg: a flexible, high-performance e-graph library

enumstabilizers

My bachelors thesis in mathematics

epeg_isabelle

extparser

Extensible Grammar Parser

flint2

My development repo for work on FLINT (Fast Library for Number Theory)

gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

goens.org

My personal website

graph-library-for-lean4

het-weak-memory

Models of weak memory for composed heterogeneous systems

ipa_scrabble

iris-lean

Lean 4 port of Iris, a higher-order concurrent separation logic framework

juego_numeros_naturales

Building the natural numbers in Lean.

lean-egg

A (WIP) equality saturation tactic for Lean based on egg.

lean-kpn

lean-murphi

An embedding of the Murphi model checking language into Lean

lean-power-calc

lean-simpl

lean4

Lean 4 programming language and theorem prover

lean4-entemology

Where we collect lean4 bugs