Browse by Contributors

Klinger, Dominic and Bisig, Christian (2022) AI for Relay Interlocking. Other thesis, OST Ostschweizer Fachhochschule.

Jenni, Raphael and Germann, Fabian (2021) Automation of the OST-RJ Examination Scheduling. Other thesis, OST Ostschweizer Fachhochschule.

Plattner, Benjamin and Lischer, Olivier (2023) Build-your-own-[grep, Redis] in Haskell. Other thesis, OST Ostschweizer Fachhochschule.

Jenni, Raphael (2022) Code Preparation for Machine Learning. Masters thesis, OST Ostschweizer Fachhochschule.

Schmidli, Eliane Irène (2023) Different Approaches to control GPIO Pins of the Raspberry Pi using Haskell. Masters thesis, OST Ostschweizer Fachhochschule.

Schmidli, Eliane Irène (2023) Embedded Programming with Embedded Domain-Specific Languages (EDSLs) in Haskell. Masters thesis, OST Ostschweizer Fachhochschule.

Tanner, Julia and Amacher, Severin (2020) Engineering Project (EPJ) Team Builder. Other thesis, OST Ostschweizer Fachhochschule.

Jenni, Raphael and Germann, Fabian (2021) Folgearbeit: Automation of the OST-RJ Examination Scheduling. Other thesis, OST Ostschweizer Fachhochschule.

Etter, Marc (2022) Formal Program Verification in Java. Other thesis, OST Ostschweizer Fachhochschule.

Elvedi, Robin and Dietler, Dominik (2022) Haskell Substitution Stepper (BA). Other thesis, OST Ostschweizer Fachhochschule.

Huber, Jan (2022) Haskell Substitution Stepper (SA). Other thesis, OST Ostschweizer Fachhochschule.

Karrer, Nicolas (2022) Haskell andWebAssembly. Masters thesis, OST Ostschweizer Fachhochschule.

Jenni, Raphael (2022) Machine Learning for Programming Languages. Masters thesis, OST Ostschweizer Fachhochschule.

Wisotzki, Tim and Lemmenmeier, Samuel (2022) Markua Support for Pandoc. Other thesis, OST Ostschweizer Fachhochschule.

Dörig, Remo and Fisch, Joel (2020) OpenAPI 3 Code Binding Generator for Haskell. Other thesis, HSR Hochschule für Technik Rapperswil.

Kurath, Samuel (2018) Ranck - Downhill Support App. Other thesis, HSR Hochschule für Technik Rapperswil.

Meili, Mario (2018) Supporting Swift 4 Generics in Tifig. Masters thesis, HSR Hochschule für Technik Rapperswil.

Etter, Marc (2023) Type Systems for the OO Programmer. Other thesis, OST Ostschweizer Fachhochschule.

Etter, Marc (2024) TypeSearch: Type-Directed API Search For All. Masters thesis, OST Ostschweizer Fachhochschule.

Schmidli, Eliane Irène (2023) Using Functional Reactive Programming in Yampa to Redesign the Control Software for the Robotic Artwork “Islanders”. Masters thesis, OST Ostschweizer Fachhochschule.

Etter, Marc and Bächli, Patrick Silvio (2020) Code Panorama. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Bächli, Patrick and Etter, Marc (2018) Code Panorama. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

Reisinger, Lukas (2018) Control and Reporting Interface for Autonomous Cleaning Robot. Masters thesis, HSR Hochschule für Technik Rapperswil.

Oberholzer, Lukas and Riederer, David (2017) Einsatzplanung und Tracking von alpinen Rettungsaktionen mit Hilfe GPS. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

Marty, Pascal and Hendrikx, Noah (2016) Entwicklung einer Cross-Plattform ServiceApp für Sanitäranlagen. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

Niedermann, Mark and Pichonnat, Raphael (2018) KEMARO Simulation. Masters thesis, HSR Hochschule für Technik Rapperswil.

Hänni, Cyrill and Kessler, Dominik (2018) Lambda Calculus Calculator. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

Schenkel, Cyrill (2017) Modern IDE Support for Functional Programming. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Hauser, Fabian and Zimmermann, Raphael (2017) Redbackup: A Redundant Distributed Backup System Prototype. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

Dörig, Remo and Fisch, Joel (2019) Strongly typed, functional languages as an alternative to the popular React + Redux stack. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

Krucker, Rafael and Schaden, Markus (2017) Visual Studio Code Integration for the Dafny Language and Ptrogramm Verifier. Bachelor thesis, HSR Hochschule für Technik Rapperswil.