-
-
-
LeetCode Public
Solutions to LeetCode problems in several languages (C++, Haskell, BQN, ...)
-
hoogle-translate Public
Forked from codereport/hoogle-translateClojure MIT License UpdatedJun 11, 2025 -
Logic-and-Prolog Public
Repository of lab exercises and exams from "Logic for CS" subject (1st semester 2023)
Prolog GNU General Public License v3.0 UpdatedMay 18, 2025 -
Cryptography Public
Cryptography Lab from FIB (UPC)
Jupyter Notebook GNU General Public License v3.0 UpdatedMay 18, 2025 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedMay 12, 2025 -
libpkcs11-dnie-nix Public
A Nix package expression for libpkcs11-dnie, the PKCS#11 module for Spanish DNIe electronic identification.
-
TFG_Simulation Public
This repository archives the code developed for my Bachelor's Thesis
C++ MIT License UpdatedOct 15, 2024 -
SOA Public
Forked from eZWALT/Advanced-Operating-SystemsZeOS kernel for Advanced Operating Systems (FIB / UPC)
C UpdatedJun 2, 2024 -
-
-
-
Lambda-Calc-Telegram Public
This is a Lambda Calculus Interpreter made with Python that is a Telegram Bot
-
A-Simple-Language Public
Compiler of ASL (A Simple Language). Compilers FIB 2023
-
AA Public
Solucions a problemes d'Ampliació d'Algorísmia (avís: pot contenir errors)
UpdatedMay 26, 2023 -
RACSO-TC Public
Col·leció d'exercicis autocorregits per el RACSO (racso.lsi.upc.edu)
3 UpdatedJan 20, 2023 -
PROP Public
Tercera entrega Projecte de Programació (2022-2023 QT)
GNU General Public License v3.0 UpdatedJan 16, 2023 -
-
PDDL-projects Public
This is a collection of AI Planning problems using PDDL syntax. The planning can then be generated by using Metric-FF (necessary for numeric planning)
-
LocalSearch Public
Forked from BernatBC/LocalSearchLocal Search project from Artificial Intelligence college subject
-
-
Joc-EDA Public
Forked from miquelt9/Joc-EDAAquí hi trobareu info i codi referent al joc d'EDA del QT 2021-2022
C++ Apache License 2.0 UpdatedFeb 4, 2022
{{ message }}