iwilare Goto Github PK

advanced-programming

Assignments for the "Advanced Programming" 2020/2021 course @ Department of Computer Science, University of Pisa http://pages.di.unipi.it/corradini/Didattica/AP-20/

agda-categories

where the magic happens

algebraic-temporal-logics

Semantics of counterpart-based quantified (linear) temporal logics in Agda

backgrounds

My backgrounds

birthdays

A .csv to .ics converter for recurrent events

categorical-automata

Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272

categorical-qtl

Categorical semantics of counterpart-based quantified (linear) temporal logics in Agda using https://github.com/agda/agda-categories

chi-font

A minimal segment-based font

church-rosser

A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) and the proof by Nagele-van Oostrom-Sternagel (2016); reuses the infrastructure for λ-terms and substitutions provided by the PLFA book

competitiveprogramming

Assignments for the "Competitive Programming and Contests" 2020/2021 course @ Department of Computer Science, University of Pisa https://github.com/rossanoventurini/CompetitiveProgramming

compiler-course-unipi

Project and assignments for the "Languages, Interpreters and Compilers" 2020/2021 course @ Department of Computer Science, University of Pisa https://github.com/lillo/compiler-course-unipi

doomsday-quiz

factorio-planner

Simple utility to calculate quantitative dependency graphs in Factorio

font

My font

formal-methods

Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language

home-manager

Manage a user environment using Nix [maintainer=@rycee]

ical

iCal library for Dart and Flutter

iwilare.github.io

lis-2022

Repository for the "Laboratory for Innovative Software" project 2021/2022

mathlib4

The math library of Lean 4

moirphism

monoid-forth

Bootstrapping x86_64 operating system and minimal Forth interpreter, using UEFI

neural-network

A simple C++ implementation of feed forward neural networks with backpropagation, Tikhonov regularization, momentum, implementing holdout and K-fold CV

nix

nix nix nix nix nix nix nix nix nix nix nix nix

numpad

Memorizing digit sequences with unlock patterns

packages

Packages for Typst.

planets

Planetary simulation with numerical integration and PixiJS

programming-in-ct

Lecture notes for the lab sessions of the "Category Theory and its Applications" course 2024 @ Tallinn University of Technology

qltl-pnf

Positive normal forms for counterpart-based temporal logics, with a standard non-categorical semantics

resolution-jumper

Utility to "visually" synchronize a mouse pointer between screens of different resolutions on Windows