GitHunt

Alejandro Gómez-Londoño

agomezl

I build stuff @tweag

Gothenburg

Languages

TeX13%C13%Standard ML13%Java8%Haskell8%Dockerfile8%Shell8%Starlark4%Lua4%Emacs Lisp4%

Top Repositories

Repositories

34
AG
agomezl/bazelFork

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

Java10Updated 2 months ago
AG
agomezl/rules_imgFork

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

00Updated 3 months ago
AG
agomezl/bazel_build_setting_bug

No description provided.

Starlark00Updated 7 months ago
AG
agomezl/zedFork

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

00Updated 1 year ago
AG
agomezl/agomezl.github.ioFork

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

TeX00Updated 1 year ago
AG
agomezl/kickstart.nvimFork

A launch point for your personal nvim configuration

Lua00Updated 1 year ago
AG
agomezl/nspace.hu-soundshiftFork

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.

00Updated 1 year ago
AG
agomezl/simp-isar-modeArchived

A simple emacs mode for Isabelle (.thy) files

Emacs Lisp12Updated 3 years ago
emacsisabelle
AG
agomezl/fluffy-chainsawArchived

Simple website for automated grading of CM0081 - Programming lab 1

Haskell11Updated 3 years ago
AG
agomezl/tstp2agdaArchived

Proof term reconstruction in Agda

Haskell01Updated 3 years ago
AG
agomezl/conways-mpiArchived

a parallel implementation of conway's game of life

C01Updated 3 years ago
AG
agomezl/pearson-correlation-mpiArchived

a parallel implementation of person correlation algorithm

C++00Updated 3 years ago
AG
agomezl/Mostly-Functional-TalkArchived

Talk for Logic and computation seminar (EAFIT University 2014)

TeX00Updated 3 years ago
AG
agomezl/cakeml-dist

CakeML developement environment meta-repo

Dockerfile00Updated 3 years ago
AG
agomezl/.conf

automatic configuration script

Shell10Updated 4 years ago
AG
agomezl/slidesFork

The HTML Presentation Framework

HTML00Updated 4 years ago
AG
agomezl/qmk_firmwareFork

keyboard controller firmware for Atmel AVR and ARM USB families

C00Updated 4 years ago
AG
agomezl/tabbed

A fork of suckless.org tabbed

C00Updated 4 years ago
AG
agomezl/bakeryFork

No description provided.

Standard ML01Updated 4 years ago
AG
agomezl/HolmakeMeAPaper

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

TeX00Updated 4 years ago
AG
agomezl/cakemlFork

CakeML: A Verified Implementation of ML

Standard ML00Updated 4 years ago
AG
agomezl/build-cake

A HOL4 Github action

00Updated 4 years ago
AG
agomezl/vscode-hol4

vs-code language support for HOL4 (WIP)

00Updated 4 years ago
AG
agomezl/firechecks

Simple fire automated checks backend

Shell00Updated 5 years ago
AG
agomezl/regressionFork

Regression testing infrastructure for CakeML

Standard ML00Updated 6 years ago
AG
agomezl/cake-manifest

A Cakeml repo manifest with references to all dependencies

Dockerfile00Updated 6 years ago
AG
agomezl/SQL-Triggers

TDA357/DIT620 Databases course SQL Triggers exercises

PLpgSQL01Updated 7 years ago
AG
agomezl/argParse

Small parsing library for CakeML

Assembly00Updated 7 years ago
AG
agomezl/XML-exercises

TDA357/DIT620 Databases course XML exercises

00Updated 8 years ago
AG
agomezl/JDBC-exercises

TDA357/DIT620 Databases course JDBC exercises

Java00Updated 8 years ago

Gists

Recent Activity