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/idris2-tutorial
stefan-hoeck/idris2-pack
stefan-hoeck/idris2-elab-util
Utilities and documentation for exploring idirs2's new elaborator reflection.
stefan-hoeck/idris2-dom
Javascript DOM bindings for Idris2
stefan-hoeck/idris2-hedgehog
An Idris port of the Haskell Hedghog library
stefan-hoeck/idris2-dom-mvc
Single Page Web Applications in Idris
stefan-hoeck/idris2-pack-db
stefan-hoeck/idris2-rhone
stefan-hoeck/idris2-json
Automatically derivable JSON marshallers in the spirit of Haskell's aeson
stefan-hoeck/idris2-async
Asynchronous and concurrent computations in Idris2
stefan-hoeck/idris2-prim
Axioms and Propositions for Primitives in Idris2
stefan-hoeck/idris2-parser
Total lexer and parser for Idris2
stefan-hoeck/idris2-array
Immutable and mutable (linear) arrays
stefan-hoeck/idris2-pretty-show
stefan-hoeck/idris2-indexed-graph
stefan-hoeck/idris2-ref1
Linear mutable References and Utilities
stefan-hoeck/idris2-svg
Vector graphics in Idris2
stefan-hoeck/idris2-algebra
Lawful algebraic structures in Idris2
stefan-hoeck/idris2-bytestring
Immutable byte vectors in Idris2.
stefan-hoeck/idris2-filepath
Unix style file paths in Idris2
stefan-hoeck/idris2-graph
Sparse, simple graphs in Idris2
stefan-hoeck/idris2-refined
Refinement types for Idris2
stefan-hoeck/idris2-gnuplot
Inspired by the Haskell library.
stefan-hoeck/idris2-uv
Bindings to libuv for Idris2
stefan-hoeck/idris2-vty
Clone of Haskell's vty library (WIP)
stefan-hoeck/idris2-epoll
epoll bindings in Idris2
stefan-hoeck/idris2-monocle
stefan-hoeck/Idris2
A purely functional programming language with first class types
stefan-hoeck/idris2-cptr
Fun with C-Pointers
stefan-hoeck/idris2-lsp
Language Server for Idris2