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

fmidue

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    17
  • Global Org. Rank 126,650 (Top 41 %)
  • Registered over 4 years ago
  • Most used languages
    Haskell
         75.0 %
    CSS
         25.0 %
  • Location 🇩🇪 Germany
  • Country Total Rank 31,099
  • Country Ranking
    Haskell
         211
    CSS
         2,826

Top repositories

1

Modellierung-Untertitel

5
star
2

IOTasks

Specification language for Haskell programs of type 'IO ()'
Haskell
5
star
3

ProPa-Subtitles

3
star
4

xmodeler-tooling

Haskell
2
star
5

prolog-mutator

CSS
1
star
6

prolog-test-server

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
star