Projects in Awesome Lists by goens
A curated list of projects in awesome lists by goens .
https://github.com/goens/lost-pop-lean
POP Memory Model in Lean
heterogeneous lean4 memory-models weak-memory-models
Last synced: 17 Feb 2025
https://github.com/goens/smf-ues-2022
Repositorio del Minicurso "Demostración de teoremas interactiva asistida usando Lean"
Last synced: 14 May 2025
https://github.com/goens/enumstabilizers
My bachelors thesis in mathematics
Last synced: 14 May 2025
https://github.com/goens/pop-alloy
Alloy6 POP-like operational models of weak memory
Last synced: 14 May 2025
https://github.com/goens/rust-host
A Rust-based host for executing discrete event models
Last synced: 14 May 2025
https://github.com/goens/het-weak-memory
Models of weak memory for composed heterogeneous systems
Last synced: 14 May 2025
https://github.com/goens/send-emails-from-csv
A simple python script to send a few emails reading from a csv file
Last synced: 14 May 2025
https://github.com/goens/advent-of-code-2023-koka
My Attempt at Advent of Code 2023, this time in Koka
Last synced: 14 May 2025
https://github.com/goens/compound-axiomatic-alloy
Axiomatic compound memory models in Alloy
Last synced: 14 May 2025
https://github.com/goens/lean-murphi
An embedding of the Murphi model checking language into Lean
Last synced: 14 May 2025
https://github.com/goens/chernikova-python
Python implementation of Chernikova's algorithm for converting a polytope in implicit representation to a set of generating rays and vertices
Last synced: 14 May 2025
https://github.com/goens/koka-haskell-examples
Some Examples in Koka and Haskell used for a guest lecture in Effects and Handlers
Last synced: 05 Apr 2025
https://github.com/goens/drakoon-racing2
A sequel to the (unfinished) drakoon racing game
Last synced: 14 May 2025
https://github.com/goens/ctf-haskell
Haskell Happy-Based Library for reading Common Trace Format traces
Last synced: 14 May 2025
https://github.com/goens/advent-of-code-22-rust
Advent of Code 2022 in Rust
Last synced: 14 May 2025
https://github.com/goens/advent-of-code21-rust
Trying out Advent of Code in Rust
Last synced: 14 May 2025
https://github.com/goens/nbody-cpn
A cpn implementation of the n body problem
Last synced: 14 May 2025
https://github.com/goens/tetris-gap
GAP Implementation of TETRiS Algorithms
Last synced: 14 May 2025