Beast code in Giters

Andrej Pištek's repositories

pint_2018_desktop_app

Desktop App (Qt5)

Language:Makefile100

sylvan-benchmarks

Sylvan variable reordering benchmarks

Language:Jupyter Notebook1 10

advent-of-code-2022

AOC 2022 solutions in C++20

Language:C++000

advent-of-code-2023

AOC 2023 solutions in Rust

Language:Rust000

AI_hackathon_2019

Language:Python000

Broker

C++

Language:HTML010

c-avl-tree

Language:Makefile010

c-book

Effective C by Robert C. Seacord

Language:C01 3

c-datastructures

Basic datastructures implemented in C

Language:C++000

sylvan

Implementation of multi-core (binary) decision diagrams

Language:CApache-2.0010

Client

GUI

Language:Java010

Client_Cplusplus

Language:C++000

Client_Java

Language:Java010

cudd

Colorado University Decision Diagram

Language:CBSD-3-Clause010

Database

MySQL

010

DPMC

DPMC/ProCount is a dynamic-programming framework for exact weighted (projected) model counting

Language:C++MIT000

filemanager

Flask

Language:Python010

Ford-Fulkerson-Verification

Capita Selecta

Language:SMT000

google_test

C++

Language:C++010

haskell_cudd

Haskell bindings to the CUDD binary decision diagram library

Language:HaskellBSD-3-Clause000

kickstart.nvim

A launch point for your personal nvim configuration

Language:LuaMIT000

lace

Lace - implementation of work-stealing in C

Language:C++Apache-2.0000

LED_driver

OS2

Language:C010

Lopy

Weather Station

Language:Python010

MQTT.TTN

GUI ready

Language:Java010

rust-avl-tree

Language:Rust000

Semaphores

OS2

Language:C010

storm

A Modern Probabilistic Model Checker

Language:C++GPL-3.0000

sylvan-haskell

Haskell bindings to the Sylvan Parallel BDD library

BSD-3-Clause000

ThreeSixFive-Server

Language:RustMIT000