- Oct 27, 2024 Impredicative Encodings of Higher (Co)Inductive Types
- Sep 06, 2024 Visimp
- Jun 26, 2024 Prolog and ProbLog Tree-sitter Grammars
- Jun 14, 2024 Anytime Inference in PLP with TP-compilation
- May 13, 2024 Datalog for Constraint Satisfaction Problems
- Feb 01, 2024 Distributed Knowledge for SMCDEL
- Jan 29, 2024 Meta-Computational Average Case Complexity
- Dec 10, 2023 Curriculum Vitae
- Dec 10, 2023 Hugo Fox
- Oct 14, 2023 Ex Falso
- Sep 18, 2023 Codeberg Profile
- Jul 19, 2023 On Term Rewriting in Presence of Probabilistic Effects
- Apr 27, 2023 MaskCharade
- Feb 11, 2023 Reddish Fox
- Nov 08, 2022 Introduction to Git
- Jul 12, 2021 Personal Webpage
- Nov 18, 2020 Dotfiles
1 of 1