Explore projects

A

waldmann / autotool
GNU General Public License v2.0 or later

1

Updated Oct 24, 2024

1 1 21 544

Updated Oct 24, 2024
C

tsosedow / ChatbotsUE7

0

Updated Jan 16, 2024

0 0 0 0

Updated Jan 16, 2024
E

waldmann / ersatz-viz

0

Updated Feb 27, 2024

0 0 0 0

Updated Feb 27, 2024
Y

waldmann / ypent

0

Updated Jan 10, 2024

0 0 0 0

Updated Jan 10, 2024
T

waldmann / termcomp

0

Updated Jul 15, 2024

0 0 0 0

Updated Jul 15, 2024
M

waldmann / minimi

0

Updated Jun 13, 2024

0 0 0 0

Updated Jun 13, 2024
H

waldmann / haskell-ci-stack-test

0

Updated May 23, 2024

0 0 0 0

Updated May 23, 2024
C

waldmann / circuit
GNU General Public License v3.0 only

0

Updated Jan 23, 2024

0 0 0 1

Updated Jan 23, 2024
T

waldmann / tp

0

Updated Oct 16, 2023

0 0 1 1

Updated Oct 16, 2023
B

waldmann / boumchak
GNU General Public License v3.0 only

bounded model checker

0

Updated Nov 07, 2024

0 0 0 2

Updated Nov 07, 2024
F

waldmann / fdaln

test cases for Data.Set.fromDistinctAscList(N)

0

Updated Jan 14, 2024

0 0 0 0

Updated Jan 14, 2024
T

iabi / todo

0

Updated May 22, 2024

0 0 0 3

Updated May 22, 2024
E

mulbric1 / esp-umweltsensoren

0

Updated Mar 01, 2024

0 0 0 0

Updated Mar 01, 2024
B

waldmann / begriff
GNU General Public License v3.0 only

software zur Formalen Begriffsanalyse (formal concept analysis)

0

Updated May 15, 2024

0 0 0 0

Updated May 15, 2024
E

amalcher / Entwicklung eines Poor-Man-Eye-Trackers

0

Updated Sep 28, 2024

0 0 0 0

Updated Sep 28, 2024
H

lgusiev / hwp7

0

Updated Oct 17, 2024

0 0 0 0

Updated Oct 17, 2024
C

waldmann / computer-mu

Texte, Software, Beispiele zur Computermusik

0

Updated Nov 04, 2024

0 0 0 14

Updated Nov 04, 2024
H

waldmann / haskell-ci-cabal-test

0

Updated May 23, 2024

0 0 0 0

Updated May 23, 2024
L

Oliver Fleischer / Lesezeichen

0

Updated Nov 18, 2024

0 0 0 0

Updated Nov 18, 2024
K

waldmann / ki-ss23

0

Updated Jun 05, 2024

0 0 0 0

Updated Jun 05, 2024