Introducción a las APIs

Ferrite tutorial exercises for OPLSS

Resources for my Homotopy Type Theory course at OPLSS 2023

📘 Get all Warframe items directly from Warframe's API. No more messy wikia scraping.

dbNexus is the concept for a simple web app that looks to bring solutions and speed-up the administrative side of companies.

Resolución de las preguntas para el final de Proba C de M. Jonckheere y P. Ferrari (verano 2017-2018)

Formalización de Sistema I con tipo Top en Agda

🎁 Soothing pastel theme for Black Box

C++ wrapper around libcURL

A Haskell library for converting LaTeX math to MathML.

Nearly Classless CSS file to give html a latex-like look

Learn to create games for the Game Boy using Assembly

A guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.

Official doxygen git repository

Nu Html Checker – Helps you catch problems in your HTML/CSS/SVG

🔖 Personal mini-web in text

Women in Programming Languages and Software Engineering Research

🌈 Haskell CLI Framework supporting Command Line Interface Guidelines

Tuta is an email service with a strong focus on security and privacy that lets you encrypt emails, contacts and calendar entries on all your devices.

Learn C and build your own programming language in under 1000 lines of code!

Read e-books in style

⛅ The right way to check the weather

Command-line program to download videos from YouTube.com and other video sites

Blog post previews in need of peer review

An introduction to programming language theory in Agda

📜 Haskell course info, plan, video lectures, slides

Learn Haskell by building a blog generator - an introductory book about Haskell.

An opinionated list of resources for learning Haskell

Python best practices guidebook, written for humans.

Neo: Hierarchical Confusion Matrix Visualization (CHI 2022)