Name: Juan García-Garland
Type: User
Company: Universidad de la República
Bio: Functional programmer, proof writer, PL researcher in training, Free Software hacker. Proud user of the GNU Operating System.
Location: Canelones, Uruguay
Blog: jota191.ml
Juan García-Garland's Projects
acsccid is a PC/SC driver for Linux/Mac OS X and it supports ACS CCID smart card readers. This library provides a PC/SC IFD handler implementation and communicates with the readers through the PC/SC Lite resource manager (pcscd).
DNS level ad blocking
A fork of jhc. And also a Haskell compiler.
Anura Engine
αProlog
An Arduino library that adds one or more joysticks to the list of HID devices an Arduino Leonardo or Arduino Micro can support.
EDSL implementing strongly typed Attribute Grammars
A GUI frontend for @werman's Pulse Audio real-time noise suppression plugin
Soluciones seleccionadas a prácticos del curso "Cálculo diferencial e integral en una variable" (1061). Facultad de ingeniería, UdelaR.
A Coq library for Homotopy Type Theory
Automobilista 2 REST API - provides Shared Memory data via JSON over HTTP
An experimental library for Cubical Agda
A mirror of DrIFT.
My emacs environment
A good starting point for a clckwrks server
Extensible records for Idris
Open source, themeable and extendable discord-compatible native fosscord client