Pinned Repositories
.conf
automatic configuration script
agomezl.github.io
Just another white clean minimalist Jekyll theme that focuses on writing matters.
argParse
Small parsing library for CakeML
bakery
fluffy-chainsaw
Simple website for automated grading of CM0081 - Programming lab 1
simp-isar-mode
A simple emacs mode for Isabelle (.thy) files
cakeml
CakeML: A Verified Implementation of ML
choreo
HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
l4v
seL4 specification and proofs
agomezl's Repositories
agomezl/.conf
automatic configuration script
agomezl/fluffy-chainsaw
Simple website for automated grading of CM0081 - Programming lab 1
agomezl/simp-isar-mode
A simple emacs mode for Isabelle (.thy) files
agomezl/agomezl.github.io
Just another white clean minimalist Jekyll theme that focuses on writing matters.
agomezl/argParse
Small parsing library for CakeML
agomezl/bakery
agomezl/build-cake
A HOL4 Github action
agomezl/cake-manifest
A Cakeml repo manifest with references to all dependencies
agomezl/cakeml
CakeML: A Verified Implementation of ML
agomezl/cakeml-dist
CakeML developement environment meta-repo
agomezl/conways-mpi
a parallel implementation of conway's game of life
agomezl/firechecks
Simple fire automated checks backend
agomezl/git-extras
A compilation of handy git commands (not aliases!! commands!!)
agomezl/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
agomezl/HolmakeMeAPaper
A template for writing document of CakeML/HOL developments (feat. munge.exe)
agomezl/JDBC-exercises
TDA357/DIT620 Databases course JDBC exercises
agomezl/kickstart.nvim
A launch point for your personal nvim configuration
agomezl/l4v
seL4 specification and proofs
agomezl/Mostly-Functional-Talk
Talk for Logic and computation seminar (EAFIT University 2014)
agomezl/nspace.hu-soundshift
Sound Shift for iRacing is software that provides audio cues for gear selection, brake force and rev limit. All can be adjusted and even muted if you don't want all cues. This service contains its own Sound Shift files for iRacing users to download and use for their installation. Especially useful when new cars enter the service.
agomezl/pearson-correlation-mpi
a parallel implementation of person correlation algorithm
agomezl/qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
agomezl/regression
Regression testing infrastructure for CakeML
agomezl/slides
The HTML Presentation Framework
agomezl/SQL-Triggers
TDA357/DIT620 Databases course SQL Triggers exercises
agomezl/tabbed
A fork of suckless.org tabbed
agomezl/tstp2agda
Proof term reconstruction in Agda
agomezl/vscode-hol4
vs-code language support for HOL4 (WIP)
agomezl/XML-exercises
TDA357/DIT620 Databases course XML exercises
agomezl/xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager