Pinned Repositories
dire
A pure Functional Reactive Programming implementation using a discrete time model
idris2-dom
Javascript DOM bindings for Idris2
idris2-dom-mvc
Single Page Web Applications in Idris
idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
idris2-hedgehog
An Idris port of the Haskell Hedghog library
idris2-pack
idris2-pack-db
idris2-rhone-js
Experimental JS bindings for idris2-rhone
idris2-sop
Idris port of Haskell's sop-core library
idris2-tutorial
stefan-hoeck's Repositories
stefan-hoeck/dire
A pure Functional Reactive Programming implementation using a discrete time model
stefan-hoeck/chemf
A purely functional cheminformatics toolkit written in Scala
stefan-hoeck/cyby2
A library for writing chemical and biological data management systems
stefan-hoeck/idris2-todomvc
Experimental TodoMVC implementation in Idris2 using rhone-js
stefan-hoeck/idris2-experimental
Experimenting with recent additions to the Idris2 compiler
stefan-hoeck/idris2-subsets
A library for runtime-checked refinement types
stefan-hoeck/graph
Experimentations in graph theory
stefan-hoeck/idris2-gram-schmidt
stefan-hoeck/idris2-pq
PostgreSQL Bindings for Idris2
stefan-hoeck/nb
Brings functional programming (scala / scalaz) as well as reactive programming (dire) to the Netbeans platform
stefan-hoeck/rpgTool
stefan-hoeck/cml
An implementation of CML (Chemical Markup Language) in Scala
stefan-hoeck/condForm
stefan-hoeck/dsa
stefan-hoeck/efaUtil
Utility package enhancing stuff from scalaz and shapeless. Also provides a basic iteratee-based io-library
stefan-hoeck/idris2-optics
Experiments with Optics in Idris2
stefan-hoeck/labeled-graph
A Haskell library for simple labeled graphs
stefan-hoeck/maven
Some useful maven poms for working with netbeans and scala
stefan-hoeck/oechem_iteratee
An exploration of Iteratee-base bulk operations using OpenEye's OEChem toolkit
stefan-hoeck/rwh
Real World Haskell Exercises
stefan-hoeck/sirdi
Package manager for Idris
stefan-hoeck/SPLV20
SPLV20 course notes