Skip to content

@fmidue Formale Methoden der Informatik, Universität Duisburg-Essen

All

    Repositories list

    31 repositories

    • modelling-tasks

      Public
      Haskell
      •3•0•98•6•Updated Sep 9, 2026Sep 9, 2026

    • prolog-programming-task

      Public
      Haskell
      •
      Other
      •1•0•11•0•Updated Sep 4, 2026Sep 4, 2026

    • flex-tasks

      Public
      Runtime interpreted flexible exercises and automatic HTML form/parser generation.
      Haskell
      •1•0•29•0•Updated Sep 3, 2026Sep 3, 2026

    • haskell-template-task

      Public
      Haskell
      •
      Other
      •1•0•8•2•Updated Aug 19, 2026Aug 19, 2026

    • logic-tasks

      Public
      Haskell
      •4•0•16•4•Updated Aug 14, 2026Aug 14, 2026

    • codeworld-tasks

      Public
      Haskell
      •0•0•8•0•Updated Jul 28, 2026Jul 28, 2026

    • IOTasks

      Public
      Specification language for Haskell programs of type 'IO ()'
      Haskell
      •
      Other
      •1•6•0•0•Updated Jul 18, 2026Jul 18, 2026

    • haskell-template-setup

      Public
      Makefile
      •
      Other
      •2•0•1•0•Updated Jul 10, 2026Jul 10, 2026

    • term-tasks

      Public
      Haskell
      •1•0•7•0•Updated Jun 28, 2026Jun 28, 2026

    • sd-generate

      Public
      Haskell
      •1•1•8•1•Updated Jun 18, 2026Jun 18, 2026

    • codeworld

      Public
      Educational computer programming environment using Haskell
      Haskell
      •
      Apache License 2.0
      •201•0•3•1•Updated Jun 12, 2026Jun 12, 2026

    • output-blocks

      Public
      Haskell
      •1•0•6•0•Updated May 30, 2026May 30, 2026

    • prolog

      Public
      A prolog interpreter written in Haskell.
      Haskell
      •15•0•2•0•Updated May 22, 2026May 22, 2026

    • stack-templates

      Public
      1•0•0•0•Updated May 21, 2026May 21, 2026

    • Alloy4Fun

      Public
      A webapp for developing and sharing Alloy models
      JavaScript
      •
      MIT License
      •10•0•0•2•Updated May 20, 2026May 20, 2026

    • meteor-launchpad

      Public
      A base Docker image for Meteor applications.
      Shell
      •
      MIT License
      •155•0•0•0•Updated May 20, 2026May 20, 2026

    • prolog-graph-lib

      Public
      Haskell
      •3•0•4•0•Updated May 5, 2026May 5, 2026

    • autotool-capabilities

      Public
      Haskell
      •1•0•2•1•Updated Mar 5, 2026Mar 5, 2026

    • eq-rewrites

      Public
      Rewriting logical formulas (to normal forms)
      Haskell
      •
      Other
      •0•0•0•0•Updated Feb 3, 2026Feb 3, 2026

    • IOTasks-collection

      Public
      A collection of example specfifications for the IOTasks library
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Dec 4, 2025Dec 4, 2025

    • haskell-template-parametrization

      Public
      Haskell
      •0•0•3•0•Updated Nov 10, 2025Nov 10, 2025

    • ghcjs-base-stub

      Public
      Allow GHCJS projects to compile under GHC and develop using intero
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •8•0•0•0•Updated Apr 30, 2025Apr 30, 2025

    • sd-simulate

      Public
      Python
      •1•0•3•0•Updated Jan 22, 2025Jan 22, 2025

    • prolog-mutator

      Public
      CSS
      •0•1•3•19•Updated Dec 16, 2024Dec 16, 2024

    • codeworld-api

      Public
      The source code of the hackage package codeworld-api
      Haskell
      •
      Apache License 2.0
      •0•0•0•0•Updated Mar 21, 2024Mar 21, 2024

    • circuit

      Public
      A clone of https://gitlab.imn.htwk-leipzig.de/waldmann/circuit
      Haskell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 15, 2024Jan 15, 2024

    • 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
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•11•0•Updated Dec 4, 2023Dec 4, 2023

    • autotool-task-test

      Public
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•1•0•Updated Jun 1, 2023Jun 1, 2023

    • xmodeler-tooling

      Public
      Haskell
      •0•2•6•0•Updated Jan 16, 2023Jan 16, 2023

    • lecture-notes

      Public
      Dockerfile
      •1•0•2•0•Updated Jul 27, 2020Jul 27, 2020
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.