Explore projects

View ssm project

Wietze Mulder / ssm
BSD 2-Clause "Simplified" License

0

Updated May 26, 2020

0 0 0 0

Updated May 26, 2020
View CauSHAPley project

Gabriel Bucur / CauSHAPley
MIT License

0

Updated Oct 28, 2024

0 0 0 0

Updated Oct 28, 2024
View Semantics and Rewriting project

Mario Tsatsev / Semantics and Rewriting

0

Updated Nov 05, 2024

0 0 0 0

Updated Nov 05, 2024
View shared project

Jaap-Henk Hoepman / shared

Shared library files (for e.g. LaTeX)

0

Updated Nov 05, 2024

0 0 0

Updated Nov 05, 2024
View references project

Practicum 2c / references

References for practicum 2c proposal

0

Updated Mar 17, 2020

0 0 0 1

Updated Mar 17, 2020
View ssm project

compilerconstruction / ssm
BSD 2-Clause "Simplified" License

2

Updated Apr 28, 2025

2 4 0 0

Updated Apr 28, 2025
View rutheme project

Amber Sprenkels / rutheme
Creative Commons Attribution Share Alike 4.0 International

Archived 0

Updated Nov 15, 2019

Archived 0 0 0 0

Updated Nov 15, 2019
View B_Thesis project

Luko van der Maas / B_Thesis

0

Updated Jan 21, 2020

0 0 0

Updated Jan 21, 2020
View curve13318-paper project

Amber Sprenkels / curve13318-paper

0

Updated Dec 16, 2022

0 0 0 0

Updated Dec 16, 2022
View eca-symbolic-execution project

sustainable-software / eca-symbolic-execution

1

Updated Oct 29, 2024

1 0 0 5

Updated Oct 29, 2024
View material project

compilerconstruction / material

2

Updated Nov 01, 2025

2 5 0 0

Updated Nov 01, 2025
View QUIC-business project

Greg Alpar / QUIC-business

Article collaboration about QUIC readiness for business applications

0

Updated Sep 05, 2018

0 0 0 0

Updated Sep 05, 2018
View uni project

Gunnar Noordbruis / uni

0

Updated Jul 10, 2018

0 0 0 0

Updated Jul 10, 2018
View guidelines project

rdm-icis / guidelines

Guidelines to help researchers in ICIS with their Research Data Management during their research.

3

Updated Oct 09, 2025

3 0 0 0

Updated Oct 09, 2025
View learning-product-automata project

Joshua Moerman / learning-product-automata

Learning product automata

model learning automata

0

Updated Aug 16, 2018

0 0

Updated Aug 16, 2018
View Learning-SSH-Paper project

Paul Fiterau Brostean / Learning-SSH-Paper

The paper on learning SSH which we hope to submit at http://conf.researchr.org/home/spin-2017 .

0

Updated Oct 29, 2024

0 0

Updated Oct 29, 2024
View LearnDezyneAlarm project

Harco Kuppens / LearnDezyneAlarm

0

Updated Mar 28, 2017

0 0 0 0

Updated Mar 28, 2017
View rubrief project

Ben Polman / rubrief

Latex class voor de RU biref stijl

1

Updated Sep 21, 2016

1 0 0 0

Updated Sep 21, 2016
View thesisdoc project

Koen Dercksen / thesisdoc

LaTeX repository for thesis document

0

Updated Jun 20, 2017

0 0 0 0

Updated Jun 20, 2017
View thesisproposal project

Koen Dercksen / thesisproposal

LaTeX repository for thesis proposal

0

Updated Dec 01, 2016

0 0 0 0

Updated Dec 01, 2016