Thimoteus/astroface
A Pebble Time 2 watchface showing apparent local sidereal time and a current star map.
Repositories
Thimoteus/purescript-simple-request
A library connecting purescript-http, purescript-aff and purescript-node-http
Thimoteus/alst_core
Apparent Local Sidereal Time (ALST) calculation, written in ReScript. Consumable from both TypeScript and ReScript.
Thimoteus/PaperWM
Tiled scrollable window management for GNOME Shell
Thimoteus/SandScript
A lisp dialect written in PureScript
Thimoteus/purescript-snail
shell scripting made snailly
Thimoteus/purescript-promises
An alternative effect monad for PureScript.
Thimoteus/purescript-mmorph
A port of Haskell's mmorph
Thimoteus/idris2-jspromises
Thimoteus/purescript-transformerless
Transformerless monads for Puresript
Thimoteus/purescript-vim
Thimoteus/purescript-simple-parser
A parsing library with a simple definition.
Thimoteus/purescript
A small strongly typed language that compiles to Javascript
Thimoteus/literate-purescript
literate-style programming for purescript
Thimoteus/purescript-optlicative
applicative opt parsing for node
Thimoteus/js-ipfs-api
Thimoteus/purescript-quickcheck-laws
QuickCheck powered law tests for PureScript's core typeclasses.
Thimoteus/purescript-hugenums
A huge number library for Purescript with emphasis on correctness.
Thimoteus/purescript-strongcheck
Thimoteus/purescript-lens
PureScript implementation of lens
Thimoteus/purescript-prelude
The PureScript Prelude
Thimoteus/purescript-base64
Base64 encoding and decoding for the browser.
Thimoteus/purescript-versions
A small library defining a Version data type and operations.
Thimoteus/purescript-affjax
An asynchronous AJAX library built using Aff.
Thimoteus/purescript-halogen
A declarative, type-safe UI library for PureScript.
Thimoteus/bs-express
Express bindings in Reason
Thimoteus/purescript-smash
An "extensible coeffect" system built out of comonads and Day convolution.
Thimoteus/Sublime-Text-3-Icon
Thimoteus/purescript-infinite-lists
Strictly infinite (but lazy) lists
Thimoteus/purescript-difflists
A data type for quickly appending.