massimo-zaniboni Goto Github PK

advent-of-code-2021

My solutions to exsercises of Advent of Code 2021

aoc-benchmarks

Publish some Advent of Code benchmarks

apostovia

Convert swimming race results to static HTML content

asterisell

web application for rating, showing to customers, and billing Asterisk VoIP calls.

asterisell-v5

web application for rating and showing VoIP calls

blocked-on-mvar

Expose a problem with Haskell exceptions

cljfx

Declarative, functional and extensible wrapper of JavaFX inspired by better parts of react and re-frame

common-view

A wiki using HAppS, pandoc, and git

copper

An integrated context-aware scanner and parser generator

cotfs

FUSE filesystem based on tags

distrobox

Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with.

example-of-circular-module

ezsubs

Bringing your Italian Subs subtitles to a whole new level

frog

Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.

ghc_lazy_file_content_error

Test GHC

hl

Haskell web site

hrobots

Robots for NetRobots server, written in Haskell

letsencrypt-formula

Saltstack formula for letsencrypt service

mysql-formula

Install the MySQL client and/or server

mysql-haskell

Pure haskell mysql driver

nix-cl

Reproducible builds for Common Lisp

nixpkgs

Nix Packages collection

polygott

Base Docker image for the Repl.it evaluation server

redmine_cacheable_pages

Redmine plugin for caching pages requested from anonymous users.

redmine_knowledgebase

A knowledgebase plugin for Redmine adapted for Redmine 4

rms-support-letter.github.io

An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation

safe-exceptions

Safe, consistent, and easy exception handling

scoreboard

Show the scoreboard of a turn based games where players can make points at every turn, as a linear graph.

streaming-utils

experimental http, attoparsec and pipes material for `streaming` and `streaming-bytestring`

svg-to-elm

Convert a SVG XML document into Elm Svg expressions