Alejandro Gómez-Londoño

a fast, scalable, multi-language and extensible build system

Modern Bazel rules for building OCI container images with advanced performance optimizations

No description provided.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Just another white clean minimalist Jekyll theme that focuses on writing matters.

A launch point for your personal nvim configuration

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.

A simple emacs mode for Isabelle (.thy) files

Simple website for automated grading of CM0081 - Programming lab 1

Proof term reconstruction in Agda

a parallel implementation of conway's game of life

a parallel implementation of person correlation algorithm

Talk for Logic and computation seminar (EAFIT University 2014)

CakeML developement environment meta-repo

automatic configuration script

The HTML Presentation Framework

keyboard controller firmware for Atmel AVR and ARM USB families

A fork of suckless.org tabbed

No description provided.

A template for writing document of CakeML/HOL developments (feat. munge.exe)

CakeML: A Verified Implementation of ML

A HOL4 Github action

vs-code language support for HOL4 (WIP)

Simple fire automated checks backend

Regression testing infrastructure for CakeML

A Cakeml repo manifest with references to all dependencies

TDA357/DIT620 Databases course SQL Triggers exercises

Small parsing library for CakeML

TDA357/DIT620 Databases course XML exercises

TDA357/DIT620 Databases course JDBC exercises