-
aoc2025 Public
My Rust solutions for AoC (Advent of Code) 2025
Rust GNU General Public License v3.0 UpdatedDec 13, 2025 -
ceur-add-pagenum Public
A script adding page numbers to an index.html file written according to the CEUR-WS specification.
Python GNU General Public License v3.0 UpdatedSep 24, 2025 -
ciaopp Public
Forked from ciao-lang/ciaoppThe Ciao Preprocessor
Prolog GNU Lesser General Public License v3.0 UpdatedJul 9, 2025 -
cgt Public
Computational Game Theory software
Python GNU General Public License v3.0 UpdatedMay 21, 2025 -
MyHOTT Public
My implementation of the HOTT/UF book
-
UniMath Public
Forked from UniMath/UniMathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
-
lezioni-logica Public
Lezioni di logica
TeX Creative Commons Attribution Share Alike 4.0 International UpdatedJan 10, 2025 -
aoc2024 Public
Python solutions for AoC (Advent of Code) 2024
-
docker-wims Public
Docker image for WIMS (Web Interactive Multipurpose Server)
-
hello-world Public
Forked from francescaScozzari/hello-worldIl mio repository di Metodologie di programmazione
PHP UpdatedOct 13, 2024 -
bdp-downloader Public
A Firefox plugin for automatically downloading documents from the website bdp.giustizia.it
JavaScript GNU General Public License v3.0 UpdatedJun 14, 2024 -
public-engagement2 Public
The second version of the public engagement software, written in PHP
PHP UpdatedMay 12, 2024 -
ciao Public
Forked from ciao-lang/ciaoCiao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Prolog GNU Lesser General Public License v3.0 UpdatedAug 18, 2023 -
-
ScalaFix Public
Forked from jandom-devel/ScalaFixA Scala library for solving fixpoint equations
Scala GNU General Public License v3.0 UpdatedMar 8, 2023 -
reinforcement-learning Public
Experiments from the Sutton & Barto book on reinforcemente learning
Jupyter Notebook UpdatedOct 8, 2022 -
docker-wims-lti Public
Docker image for WIMS (Web Interactive Multipurpose Server) LTI
Dockerfile UpdatedSep 14, 2022 -
wims-lti Public archive
Forked from PremierLangage/wims-ltiLTI bridge between LMS and WIMS. Documentation : https://wims-lti.readthedocs.io/
Python GNU General Public License v3.0 UpdatedSep 14, 2022 -
Jandom Public
Forked from jandom-devel/JandomThis is my personal fork of the official jandom-devel/Jandom repository. WARNING! This is subject to frequent rebasing.
Scala GNU Lesser General Public License v3.0 UpdatedMar 23, 2022 -
rms-support-letter.github.io Public archive
Forked from rms-support-letter/rms-support-letter.github.ioAn open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
Python GNU General Public License v3.0 UpdatedMar 5, 2022 -
-
wimsapi Public archive
Forked from qcoumes/wimsapiA Python 3 implementation of WIMS adm/raw module.
Python MIT License UpdatedJul 19, 2021 -
Manifolds Public
Forked from maggesi/ManifoldsDifferential geometry in HOL Light.
Coq UpdatedJan 7, 2019 -
weirds Public
Software and data on weird numbers (and friends)
-
JandomWeb Public
Forked from jandom-devel/JandomWebA web interface for the Jandom Static Analyzer
HTML GNU General Public License v3.0 UpdatedOct 28, 2016
{{ message }}