Explore projects

H

Florian Schießl / Hello World

0

Updated Apr 18, 2024

0 0 0 0

Updated Apr 18, 2024
P

pseuco / pseuco-ccs-compiler

1

Updated Mar 28, 2024

1 0 0 0

Updated Mar 28, 2024
P

pseuco / pseuco-tests

2

Updated Mar 25, 2024

2 0 0 0

Updated Mar 25, 2024
C

Andreas Schmidt / cahntemplating

0

Updated Feb 29, 2024

0 0 0 0

Updated Feb 29, 2024
C

Felix Freiberger / cspell-docker

0

Updated Feb 29, 2024

0 0 0 0

Updated Feb 29, 2024
C

pseuco / colored-petri-nets
Other

JavaScript implementation of CPN and CPN++

0

Updated Jan 29, 2024

0 0 0 0

Updated Jan 29, 2024
N

np / 2023 / np-ss23-project-template-java

1

Updated Aug 02, 2023

1 33 0 1

Updated Aug 02, 2023
C

Jonathan Müller / CP-Fuzzer

1

Updated Jul 18, 2023

1 0 0 0

Updated Jul 18, 2023
C

Maximilian Köhl / CP23 Fearless Concurrency with Rust

Examples of my lecture on fearless concurrency with Rust.

0

Updated Jun 09, 2023

0 0 0 0

Updated Jun 09, 2023
H

Felix Freiberger / HDF Environment

0

Updated Apr 13, 2023

0 0 0 0

Updated Apr 13, 2023
P

pseuco / pseuco-java-compiler
GNU General Public License v3.0 only

pseuCo-Java-Compiler

1

Updated Mar 23, 2023

1 0 0 16

Updated Mar 23, 2023
N

np / 2022 / np-ss22-project-template

1

Updated Jul 20, 2022

1 51 0 0

Updated Jul 20, 2022
R

np / 2022 / Tutors / Rust Template

Inofficial Rust template for the concurrent programming project 2022. 🦀 🚀

1

Updated Jul 05, 2022

1 0 0 0

Updated Jul 05, 2022
H

Hybrid Document Format / HDF Demo
MIT License

0

Updated Mar 30, 2022

0 0 0 0

Updated Mar 30, 2022
P

pseuco / pseuco-promela-compiler
MIT License

0

Updated Feb 17, 2022

0 0 0 0

Updated Feb 17, 2022
M

pseuco / m3
GNU Affero General Public License v3.0

Memory Model Mapper

0

Updated Dec 06, 2021

0 0 0 6

Updated Dec 06, 2021
P

pseuco / pseuco-ide
GNU Affero General Public License v3.0

A small (but powerful) IDE for pseuCo.

pseuCo

2

Updated Oct 04, 2021

2 0 0 11

Updated Oct 04, 2021
N

np / 2020 / np-ss20-project-visualizer

0

Updated Jul 13, 2021

0 0 0 0

Updated Jul 13, 2021
S

Jana Schmidt / SMT-LIB and MiniZinc Encoding for Satellite Contact Plans
MIT License

0

Updated Jul 05, 2021

0 0 0 0

Updated Jul 05, 2021
D

Kai Vogelgesang / dts-iot-sim

0

Updated May 29, 2021

0 0 0 0

Updated May 29, 2021