Skip to content
@fmidue

Formale Methoden der Informatik, Universität Duisburg-Essen

Formal Methods in Computer Science group at University of Duisburg-Essen

Popular repositories Loading

  1. IOTasks IOTasks Public

    Specification language for Haskell programs of type 'IO ()'

    Haskell 5 1

  2. Modellierung-Untertitel Modellierung-Untertitel Public

    5 8

  3. ProPa-Subtitles ProPa-Subtitles Public

    3 14

  4. xmodeler-tooling xmodeler-tooling Public

    Haskell 2

  5. prolog-test-server prolog-test-server Public

    Simple server app to test Prolog programming tasks from https://github.com/fmidue/prolog-programming-task, also used in https://github.com/fmidue/prolog-mutator

    Haskell 1

  6. sd-generate sd-generate Public

    Haskell 1 1

Repositories

Showing 10 of 29 repositories
  • codeworld Public Forked from google/codeworld

    Educational computer programming environment using Haskell

    Haskell 0 Apache-2.0 219 8 1 Updated May 8, 2025
  • haskell-template-setup Public
    Makefile 0 1 1 0 Updated May 7, 2025
  • haskell-template-task Public
    Haskell 0 0 7 0 Updated May 7, 2025
  • ProPa-Subtitles Public
    3 14 0 0 Updated May 5, 2025
  • ghcjs-base-stub Public Forked from louispan/ghcjs-base-stub

    Allow GHCJS projects to compile under GHC and develop using intero

    Haskell 0 BSD-3-Clause 8 0 0 Updated Apr 30, 2025
  • Modellierung-Untertitel Public
    5 8 0 0 Updated Apr 25, 2025
  • flex-tasks Public

    Runtime interpreted flexible exercises and automatic HTML form/parser generation.

    Haskell 0 0 7 0 Updated Apr 22, 2025
  • stack-templates Public
    0 0 0 0 Updated Apr 15, 2025
  • output-blocks Public
    Haskell 0 0 6 0 Updated Apr 15, 2025
  • logic-tasks Public
    Haskell 0 2 21 5 Updated Apr 8, 2025
View all repositories