Stefan Höck

Results 9 repositories owned by Stefan Höck

chemf

15
Stars
4
Forks
Watchers

A purely functional cheminformatics toolkit written in Scala

dire

30
Stars
5
Forks
Watchers

A pure Functional Reactive Programming implementation using a discrete time model

idris2-dom

40
Stars
7
Forks
Watchers

Javascript DOM bindings for Idris2

idris2-elab-util

69
Stars
13
Forks
Watchers

Utilities and documentation for exploring idirs2's new elaborator reflection.

idris2-hedgehog

24
Stars
1
Forks
Watchers

An Idris port of the Haskell Hedghog library

idris2-pack

36
Stars
11
Forks
Watchers

idris2-rhone-js

17
Stars
2
Forks
Watchers

Experimental JS bindings for idris2-rhone

idris2-sop

31
Stars
2
Forks
Watchers

Idris port of Haskell's sop-core library

idris2-tutorial

103
Stars
14
Forks
Watchers