Explore projects
-
SoSy-Lab / Software / PJBDD
Apache License 2.0A parallel BDD library, based on ideas from Sylvan, written in Java.
Updated -
LabXP-IME-USP / 2024.1 / PACTL / Parser_PDDL_to_BDDs
GNU General Public License v3.0 or laterDevelopment repository for the PDDL to BDDs parser.
Updated -
My awesome project
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Olaqase93 / BBDD_2024
GNU General Public License v3.0 or laterUpdated -
Guided Explorations / Embedded Development / GitLab CI Components for Embedded / Arm Gnu Embedded RPI Pico SDK
CI/CD Catalog projectArm GNU minimal embedded tools and Raspberry Pi Pico SDK. Part of the DarwinJS Builder Component Library.
Updated