Pinned Repositories
dot-config
HaskellParser
Parsing haskell in haskell from scratch
MSc-Thesis
A general framework for constructing sound and complaete Hoare-like logics, unifying the theory of partial correctness
PolynomialFunctors
Data-types as fixpoints of polynomial functors
ProtoAgda
A simple implementation of a dependently typed programming language with meta-variables.
RecStaticAnalyzer
An abstract interpretation based static analyzer for the REC programming language, supports strictness and sign analysis
telegram-palette-gen
A bash script that generates themes for Telegram based on an arbitrary 16-colors palette or by sourcing the colors generated by pywal/wal.
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
liquidhaskell
Liquid Types For Haskell
AlecsFerra's Repositories
AlecsFerra/dot-config
AlecsFerra/rec
A denotational semantic based interpreter for the REC programming language
AlecsFerra/RecStaticAnalyzer
An abstract interpretation based static analyzer for the REC programming language, supports strictness and sign analysis
AlecsFerra/AoC23
AlecsFerra/UniWEB-AutoQuestionario
AlecsFerra/antichannelbot
AlecsFerra/AoC-2021
Trying to be pointfree
AlecsFerra/nix-machine
AlecsFerra/PolynomialFunctors
Data-types as fixpoints of polynomial functors
AlecsFerra/ProtoAgda
A simple implementation of a dependently typed programming language with meta-variables.
AlecsFerra/TinyML
A random implementation of a subset of the ML language in F#
AlecsFerra/ultimoradie
AlecsFerra/While-Proofs
Proving some theorems about the While language in Agda
AlecsFerra/MSc-Thesis
A general framework for constructing sound and complaete Hoare-like logics, unifying the theory of partial correctness
AlecsFerra/AlecsFerra
AlecsFerra/alecsferra.github.io
AlecsFerra/antipremiumbot
AlecsFerra/ATPL-Notes
AlecsFerra/bitw
Minimalist BitWarden client
AlecsFerra/bitwarden-rofi
Wrapper for Bitwarden https://github.com/bitwarden/cli and Rofi
AlecsFerra/evoman_framework
AlecsFerra/eww
ElKowars wacky widgets
AlecsFerra/linux_notification_center
A notification daemon/center for linux
AlecsFerra/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
AlecsFerra/liquid-server
Web Server for Liquid-Types demos.
AlecsFerra/liquidhaskell
Liquid Types For Haskell
AlecsFerra/little-typer-exercises
AlecsFerra/nixpkgs
Nix Packages collection & NixOS
AlecsFerra/rofi-bluetooth
🔷 A script that generates a rofi menu that uses bluetoothctl to connect to bluetooth devices and display status info.
AlecsFerra/TutoratoAutomiLinguaggiFormali