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-tasks Public
    fmidue/codeworld-tasks’s past year of commit activity
    Haskell 0 0 7 0 Updated Apr 24, 2025
  • codeworld Public Forked from google/codeworld

    Educational computer programming environment using Haskell

    fmidue/codeworld’s past year of commit activity
    Haskell 0 Apache-2.0 219 2 0 Updated Apr 23, 2025
  • haskell-template-setup Public
    fmidue/haskell-template-setup’s past year of commit activity
    Makefile 0 1 1 0 Updated Apr 23, 2025
  • flex-tasks Public

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

    fmidue/flex-tasks’s past year of commit activity
    Haskell 0 0 7 0 Updated Apr 22, 2025
  • stack-templates Public
    fmidue/stack-templates’s past year of commit activity
    0 0 0 0 Updated Apr 15, 2025
  • output-blocks Public
    fmidue/output-blocks’s past year of commit activity
    Haskell 0 0 6 0 Updated Apr 15, 2025
  • logic-tasks Public
    fmidue/logic-tasks’s past year of commit activity
    Haskell 0 2 21 5 Updated Apr 8, 2025
  • ProPa-Subtitles Public
    fmidue/ProPa-Subtitles’s past year of commit activity
    3 14 0 0 Updated Apr 1, 2025
  • Alloy4Fun Public Forked from haslab/Alloy4Fun

    A webapp for developing and sharing Alloy models

    fmidue/Alloy4Fun’s past year of commit activity
    JavaScript 0 MIT 9 0 1 Updated Mar 20, 2025
  • IOTasks Public

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

    fmidue/IOTasks’s past year of commit activity
    Haskell 5 1 0 0 Updated Mar 19, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…