Pinned Repositories
advent-of-code-2022
AOC 2022 solutions in C++20
advent-of-code-2023
AOC 2023 solutions in Rust
AI_hackathon_2019
Broker
C++
c-avl-tree
c-book
Effective C by Robert C. Seacord
c-datastructures
Basic datastructures implemented in C
pint_2018_desktop_app
Desktop App (Qt5)
sylvan
Implementation of multi-core (binary) decision diagrams
sylvan-benchmarks
Sylvan variable reordering benchmarks
apdofficial's Repositories
apdofficial/c-book
Effective C by Robert C. Seacord
apdofficial/pint_2018_desktop_app
Desktop App (Qt5)
apdofficial/sylvan-benchmarks
Sylvan variable reordering benchmarks
apdofficial/advent-of-code-2022
AOC 2022 solutions in C++20
apdofficial/advent-of-code-2023
AOC 2023 solutions in Rust
apdofficial/AI_hackathon_2019
apdofficial/Broker
C++
apdofficial/c-avl-tree
apdofficial/c-datastructures
Basic datastructures implemented in C
apdofficial/sylvan
Implementation of multi-core (binary) decision diagrams
apdofficial/Client
GUI
apdofficial/Client_Cplusplus
apdofficial/Client_Java
apdofficial/cudd
Colorado University Decision Diagram
apdofficial/Database
MySQL
apdofficial/DPMC
DPMC/ProCount is a dynamic-programming framework for exact weighted (projected) model counting
apdofficial/filemanager
Flask
apdofficial/Ford-Fulkerson-Verification
Capita Selecta
apdofficial/google_test
C++
apdofficial/haskell_cudd
Haskell bindings to the CUDD binary decision diagram library
apdofficial/kickstart.nvim
A launch point for your personal nvim configuration
apdofficial/lace
Lace - implementation of work-stealing in C
apdofficial/LED_driver
OS2
apdofficial/Lopy
Weather Station
apdofficial/MQTT.TTN
GUI ready
apdofficial/rust-avl-tree
apdofficial/Semaphores
OS2
apdofficial/storm
A Modern Probabilistic Model Checker
apdofficial/sylvan-haskell
Haskell bindings to the Sylvan Parallel BDD library
apdofficial/ThreeSixFive-Server