AlecsFerra

nix-machine

alecsferra.github.io

ProtoAgda

A simple implementation of a dependently typed programming language with meta-variables.

MSc-Thesis

A general framework for constructing sound and complaete Hoare-like logics, unifying the theory of partial correctness

AlecsFerra

RecStaticAnalyzer

An abstract interpretation based static analyzer for the REC programming language, supports strictness and sign analysis

AoC23

nixpkgs

Nix Packages collection & NixOS

evoman_framework

ATPL-Notes

dot-config

PolynomialFunctors

Data-types as fixpoints of polynomial functors

TutoratoAutomiLinguaggiFormali

While-Proofs

Proving some theorems about the While language in Agda

rec

A denotational semantic based interpreter for the REC programming language

TinyML

A random implementation of a subset of the ML language in F#

UniWEB-AutoQuestionario

little-typer-exercises

ultimoradie

eww

ElKowars wacky widgets

antipremiumbot

antichannelbot

bitw

Minimalist BitWarden client

rofi-bluetooth

🔷 A script that generates a rofi menu that uses bluetoothctl to connect to bluetooth devices and display status info.

bitwarden-rofi

Wrapper for Bitwarden https://github.com/bitwarden/cli and Rofi

linux_notification_center

A notification daemon/center for linux

AoC-2021

Trying to be pointfree

QuantumGatesOctaveMatlab

antidot

Cleans up your $HOME from those pesky dotfiles

HaskellParser

Parsing haskell in haskell from scratch