Pinned Repositories
chain-indexing
chat_elm
A sample chatroom project using elm
datastore
A toy data store program written in Haskell
elm-lab
Elm practise project, exploring suitable architecture, testing throwable code.
fetching_weather
A toy project for fetching weather data and store to database
game-of-life-client
A Game of Life Client written in Elm
game-of-life-server
A Game of Life Server written in Python using Tornado
haskell-practice
Learning Haskell
idris-learn
Learning Idris
gostrider's Repositories
gostrider/chat_elm
A sample chatroom project using elm
gostrider/elm-lab
Elm practise project, exploring suitable architecture, testing throwable code.
gostrider/idris-learn
Learning Idris
gostrider/chain-indexing
gostrider/datastore
A toy data store program written in Haskell
gostrider/fetching_weather
A toy project for fetching weather data and store to database
gostrider/game-of-life-client
A Game of Life Client written in Elm
gostrider/game-of-life-server
A Game of Life Server written in Python using Tornado
gostrider/haskell-practice
Learning Haskell
gostrider/idris-ct-learn
repo for learning https://github.com/statebox/idris-ct
gostrider/monad-learn
gostrider/orator
The Orator ORM provides a simple yet beautiful ActiveRecord implementation.
gostrider/pre-processing-sample
gostrider/random-sentence-picker
Random picking sentence from website url
gostrider/scala-learn
Repo for learning scala
gostrider/scala-play
Sample project on Scala play framework
gostrider/weather-fetching-re