Skip to content

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

Change the repository type filter

All

    Repositories list

    32 repositories

    • prolog-programming-task

      Public
      Haskell
      •
      Other
      •0•0•7•0•Updated May 4, 2026May 4, 2026

    • codeworld-tasks

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

    • codeworld-snippets

      Public
      0•0•0•0•Updated May 2, 2026May 2, 2026

    • logic-tasks

      Public
      Haskell
      •3•0•21•5•Updated May 1, 2026May 1, 2026

    • haskell-template-task

      Public
      Haskell
      •
      Other
      •1•0•8•0•Updated Apr 29, 2026Apr 29, 2026

    • codeworld

      Public
      Educational computer programming environment using Haskell
      Haskell
      •
      Apache License 2.0
      •199•0•3•0•Updated Apr 29, 2026Apr 29, 2026

    • prolog

      Public
      A prolog interpreter written in Haskell.
      Haskell
      •15•0•1•0•Updated Apr 28, 2026Apr 28, 2026

    • prolog-graph-lib

      Public
      Haskell
      •3•0•6•0•Updated Apr 28, 2026Apr 28, 2026

    • haskell-template-setup

      Public
      Makefile
      •
      Other
      •2•0•1•0•Updated Apr 28, 2026Apr 28, 2026

    • modelling-tasks

      Public
      Haskell
      •3•0•102•6•Updated Apr 27, 2026Apr 27, 2026

    • flex-tasks

      Public
      Runtime interpreted flexible exercises and automatic HTML form/parser generation.
      Haskell
      •1•0•24•0•Updated Apr 22, 2026Apr 22, 2026

    • IOTasks

      Public
      Specification language for Haskell programs of type 'IO ()'
      Haskell
      •
      Other
      •1•5•0•0•Updated Mar 25, 2026Mar 25, 2026

    • term-tasks

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

    • autotool-capabilities

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

    • sd-generate

      Public
      Haskell
      •1•1•8•1•Updated Feb 5, 2026Feb 5, 2026

    • eq-rewrites

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

    • Alloy4Fun

      Public
      A webapp for developing and sharing Alloy models
      JavaScript
      •
      MIT License
      •10•0•0•3•Updated Dec 10, 2025Dec 10, 2025

    • IOTasks-collection

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

    • output-blocks

      Public
      Haskell
      •1•0•5•0•Updated Dec 4, 2025Dec 4, 2025

    • meteor-launchpad

      Public
      A base Docker image for Meteor applications.
      Shell
      •
      MIT License
      •156•0•0•4•Updated Nov 27, 2025Nov 27, 2025

    • haskell-template-parametrization

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

    • stack-templates

      Public
      1•0•0•0•Updated Jun 16, 2025Jun 16, 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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.