Tim Steenvoorden's repositories
elm-collage
Create interactive vector graphics and position them relative to each other
tophat-haskell
TopHat implementation in Haskell
symbolic-tophat-haskell
Symbolic execution of the TopHat language
control.kak
Basic control statements to simplify Kakoune's scripting life
framboos-naked
Naked version of FramboOS
tophat-proofs
Proofs about the TopHat system
3cows-teaching
Exercises for the 3COWS teaching gathering
assistive-tophat
Assistive hints for TopHat
elm-parser-extras
Convenience functions for building parser with elm/parser
floor-sharp
A bag of exercises to get a basic understanding of functional programming in F#
homebrew-core
🍻 Default formulae for the missing package manager for macOS
koka
Koka language compiler and interpreter
latex-macros
LaTeX macros for papers
pandoc
Universal markup converter
purescript
A strongly-typed language that compiles to JavaScript
purescript-type-reflection
Type reflection using generics in PureScript
result-extra
Convenience functions for working with Result.
symbolic-tophat
Symbolic execution of TopHat
timjs.github.io
Personal website
tophat-clean
TopHat language constructs in Clean in terms of iTask combinators
tophat-dynamic
TopHat extended with dynamic initialisation of tasks
tophat-next
Next version of TopHat, a Task-Oriented Programming language
tophat-visual
Visual builder for the TopHat language