Alberto Centelles's repositories
akka-web-crawler
A web crawler implemented with Akka, Akka HTTP and Akka Streams
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
Language:RustNOASSERTION000
inferencia-estadistica
Apuntes de inferencia estadistica
schuller-geometric
Source code for lecture notes
Language:TeX000
selda
A type-safe, high-level SQL library for Haskell
Language:HaskellMIT000
servant-auth-cookie
Authentication via encrypted cookies
Language:HaskellBSD-3-Clause000
servant-cli
Generate a command line client from a servant API
Language:HaskellBSD-3-Clause000
springer-books
Haskell script to download all Springer books released for free during the 2020 COVID-19 quarantine
Language:HaskellBSD-3-Clause000
taiga-website
💎 🐳 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.
Language:SCSSMIT000
veri-zexe
DPC with Universal Setup
Language:RustGPL-3.0000
zordle
Wordle, but with ZK proofs!
Language:RustMIT000