Andréa Condoluci's repositories
acondolu
My personal repository
AnimatedGIF
A lightweight Arduino GIF decoder for playing animated files from memory or files on SD cards
bson
Haskell representation and serialization of BSON documents (version 1.0) as defined at bsonspec.org
coq-multiext
Well-foundedness of multiset extension in Coq
ESP32-HUB75-MatrixPanel-DMA
An Adafruit GFX Compatible Library for the ESP32, ESP32-S2, ESP32-S3 to drive HUB75 LED matrix panels using DMA for high refresh rates. Supports panel chaining.
gdb-ghcrts
GDB plugin to display runtime info in GHC-compiled programs
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
random-sleep
Sleep for a (configurable) random amount of time
gifdec
small C GIF decoder
mongodb
MongoDB driver for Haskell
quippy
End-to-end encrypted app to split expenses
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.