Highlights
- Pro
-
soplex Public
Forked from scipopt/soplexSequential object-oriented simPlex
C++ Other UpdatedSep 14, 2024 -
-
-
bazel-central-registry Public
Forked from bazelbuild/bazel-central-registryThe central registry of Bazel modules for the Bzlmod external dependency system.
Starlark Apache License 2.0 UpdatedSep 7, 2024 -
rules_doxygen Public
This repository contains a Starlark implementation of Doxygen rules in Bazel
-
Jupyter notebook showing off how to implement some simple variations of the Quantum random walk using the Qiskit library
-
dlinear Public
Refactor of dLinear4 https://github.com/martinjos/dlinear4
-
-
Tutorato-Reti-di-Calcolatori Public
Tutorato del corso Reti di Calcolatori @UNICT-DMI 2022/2023
-
Tutorato del corso Ingegneria del Software @UNICT-DMI 2022/2023
-
tasmas-symaware-base Public
Forked from zhang-zengjie/tasmas-symaware-basePython UpdatedJul 4, 2024 -
bazel-cpp-template Public template
C++ project template using the build system Bazel with support for modules
Starlark UpdatedJun 14, 2024 -
oh-my-posh Public
Forked from JanDeDobbeleer/oh-my-poshThe most customisable and low-latency cross platform/shell prompt renderer
-
-
symaware Public
Forked from xQuazor/symawareWebsite to disseminate the research of the SymAware project.
HTML UpdatedMay 14, 2024 -
Prototype implementation written in c of the Id based Proxy Signature Scheme with Message Recovery created by Singh and Verma and improved by Zhou
-
bazel_iwyu Public
Forked from storypku/bazel_iwyuIWYU Support for Bazel
Starlark Apache License 2.0 UpdatedApr 22, 2024 -
rules_boost Public
Forked from nelhage/rules_boostbazel build rules to use boost in bazel projects
C Apache License 2.0 UpdatedApr 12, 2024 -
Telegram-SpottedDMI-Bot Public
Forked from UNICT-DMI/Telegram-SpottedDMI-BotTelegram-SpottedDMI-Bot is the platform that powers @Spotted_DMI_Bot, a Telegram bot that let students send an anonymous message to the channel community.
Python GNU General Public License v3.0 UpdatedMar 28, 2024 -
python-telegram-bot Public
Forked from python-telegram-bot/python-telegram-botWe have made you a wrapper you can't refuse
Python GNU General Public License v3.0 UpdatedFeb 26, 2024 -
reveal.js Public
Forked from hakimel/reveal.jsThe HTML Presentation Framework
JavaScript MIT License UpdatedJan 28, 2024 -
qsopt-ex Public
Forked from martinjos/qsopt-exdlinear4's modified version of martin's qsopt-ex (https://github.com/martinjos/qsopt-ex). Included in dlinear as a dependency
C GNU General Public License v3.0 UpdatedJan 24, 2024 -
advent-of-code Public
Solutions for the advent of code problems I was able to solve
Python UpdatedDec 25, 2023 -
awesome-advent-of-code Public
Forked from Bogdanp/awesome-advent-of-codeA collection of awesome resources related to the yearly Advent of Code challenge.
UpdatedDec 6, 2023 -
Tutorato-Template Public template
Simple template for creating slides just using markdown and some extensions
-
-
NUCATS-Discord-Bot Public
Forked from NUCATS-Soc/NUCATS-Discord-BotDiscord bot for managing the NUCATS discord server
Python UpdatedOct 17, 2023 -
dlinear4 Public
Forked from martinjos/dlinear4Linear delta-complete SMT solver, based on dreal4 (https://github.com/dreal/dreal4)
C++ Apache License 2.0 UpdatedSep 26, 2023 -
IAC-AD Public
All in one solution to painlessly setup an A/D competition by using IAC and automation tools such as Terraform and Ansible
HCL UpdatedAug 27, 2023 -
Topic-Carousel Public
Carousel with infinite scroll with the ability to filter items through topics with no dependency.
TypeScript MIT License UpdatedAug 8, 2023