Pinned Repositories
viviag.io
Personal site
viviag's Repositories
viviag/viviag.io
Personal site
viviag/Approx_Quillen_McCord
Development process of a paper
viviag/arithmoi
arithmoi is currently maintained here
viviag/coursework_18-19
Bezout theorem, Plucker relations and related topics
viviag/dbmigrations
Local experimental fork with HaSQL, and with ByteStrings.
viviag/dbmigrations-mysql
This is the MySQL support package for dbmigrations.
viviag/ghcid
Very low feature GHCi based IDE
viviag/Haskell-data-structures-edu-
This is my old exercises on data structures in functional programming. Basically Haskell and following "Purely functional data structures" by Chris Okasaki.
viviag/haskellweekly
Publishes curated news about the Haskell programming language.
viviag/hasql
Performant PostgreSQL driver with a flexible mapping API
viviag/hensel
Non-production tools to operate polynomials in Galois rings over GF(p,n) and corresponding codes. Focusing on decompositions of cyclotomic polynomials.
viviag/hinotify
Haskell binding to inotify
viviag/hs-librsvg
Haskell bindings to librsvg
viviag/Mathsheet_prototyper
Extremely special tool to extract prototypical problems from set of files with cloned ones. Done for MCCME
viviag/postermaker
Simply create poster or collage from console
viviag/protutils
Utilities to automatise docking
viviag/qc-instances
Instances for QuickCheck classes
viviag/servant-auth-cookie
Authentication via encrypted cookies
viviag/talking_viviag
Data of given talks and presentations at different scales
viviag/viviag.github.io
Initial repository of account
viviag/vty-workshop
viviag/weather
OpenWeatherMap API binding. It was an interview on my first Haskell job.