Alberto Centelles's repositories
akka-web-crawler
A web crawler implemented with Akka, Akka HTTP and Akka Streams
awesome-folding
A curated list of zero-knowledge folding schemes
concurrency-programming-erlang
OTP and Erlang experiments
distributed-server
Simple Erlang files to test message passing
generic-functional-parallel-algorithms
Exploratory code from the paper "Generic Functional Parallel Algorithms"
geometria-diferencial-lie
La "presencia de Lie" en la geometria diferencial
inferencia-estadistica
Apuntes de inferencia estadistica
Nova
Nova: High-speed recursive arguments from folding schemes
schuller-geometric
Source code for lecture notes
selda
A type-safe, high-level SQL library for Haskell
servant-auth-cookie
Authentication via encrypted cookies
servant-cli
Generate a command line client from a servant API
springer-books
Haskell script to download all Springer books released for free during the 2020 COVID-19 quarantine
taiga-website
💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.
veri-zexe
DPC with Universal Setup
zordle
Wordle, but with ZK proofs!