There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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 bookcategorical-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.00272formal-methods
Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP languagesolitaire
A minimal golfed web version of the MOLEK-SYNTEZ solitaire by Zachtronicscategorical-qtl
Categorical semantics of counterpart-based quantified (linear) temporal logics in Agda using https://github.com/agda/agda-categoriessap-tracker
Super Auto Pets achievements trackeralgebraic-temporal-logics
Semantics of counterpart-based quantified (linear) temporal logics in Agdafactorio-planner
Simple utility to calculate quantitative dependency graphs in Factorioqltl-pnf
Positive normal forms for counterpart-based temporal logics, with a standard non-categorical semanticsnix
nix nix nix nix nix nix nix nix nix nix nix nixprogramming-in-ct
Lecture notes for the lab sessions of the "Category Theory and its Applications" course 2024 @ Tallinn University of TechnologyCompetitiveProgramming
Assignments for the "Competitive Programming and Contests" 2020/2021 course @ Department of Computer Science, University of Pisa https://github.com/rossanoventurini/CompetitiveProgrammingsol-lang
Sol - Simple Object Language: minimal Smalltalk-like interpreted languageneural-network
A simple C++ implementation of feed forward neural networks with backpropagation, Tikhonov regularization, momentum, implementing holdout and K-fold CVLove Open Source and this site? Check out how you can help us