TendTo
Follow
-
rules_doxygen Public
Starlark implementation of Doxygen rules in Bazel to automatically document the codebase
-
LTLf2DFA Public
Forked from whitemech/LTLf2DFAFrom LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
Python GNU Lesser General Public License v3.0 UpdatedAug 14, 2025 -
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 UpdatedAug 2, 2025 -
-
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 UpdatedJul 15, 2025 -
HiGHS Public
Forked from ERGO-Code/HiGHSLinear optimization software
C++ MIT License UpdatedJul 10, 2025 -
Formula-Student-Driverless-Simulator Public
Forked from FS-Driverless/Formula-Student-Driverless-SimulatorA virtual world where Autonomous Systems from different Formula Student teams can compete in time-trial challenges
C++ GNU General Public License v2.0 UpdatedJun 27, 2025 -
LBFGSpp Public
Forked from yixuan/LBFGSppA header-only C++ library for L-BFGS and L-BFGS-B algorithms
C++ MIT License UpdatedJun 3, 2025 -
-
IAC-VPN Public
All in one solution to painlessly instantiate a wireguard VPN by using IAC and automation tools such as Terraform and Ansible
-
JaxRK Public
Forked from zalandoresearch/JaxRKRKHS feature vectors, operators, and statistical models using JAX for automatic differentiation
Jupyter Notebook MIT License UpdatedMar 14, 2025 -
-
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 UpdatedFeb 26, 2025 -
bazel-cpp-template Public template
C++ project template using the build system Bazel with support for modules
Starlark UpdatedJan 22, 2025 -
-
symaware Public
Forked from xQuazor/symawareWebsite to disseminate the research of the SymAware project.
HTML UpdatedJan 8, 2025 -
Verbasizer Public
Simple Verbasizer. Heavily inspired by https://verbasizer.com/
-
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
-
hycodev Public
Forked from xQuazor/hycodevWebsite for the HyCoDeV research group (in association with the Max Planck Institute)
TypeScript UpdatedNov 6, 2024 -
-
smats Public
SMT symbolic evaluator
-
soplex Public
Forked from scipopt/soplexSequential object-oriented simPlex
C++ Other UpdatedSep 14, 2024 -
-
Jupyter notebook showing off how to implement some simple variations of the Quantum random walk using the Qiskit library
-
Tutorato del corso Ingegneria del Software @UNICT-DMI 2022/2023
-
oh-my-posh Public
Forked from JanDeDobbeleer/oh-my-poshThe most customisable and low-latency cross platform/shell prompt renderer
-
Prototype implementation written in c of the Id based Proxy Signature Scheme with Message Recovery created by Singh and Verma and improved by Zhou
-
rules_boost Public
Forked from nelhage/rules_boostbazel build rules to use boost in bazel projects
C Apache License 2.0 UpdatedApr 12, 2024