i-am-tom

Type queery. He/him/his

@hasura Barcelona

Pinned Repositories

fantas-eel-and-specification
Examples and exercises from the blog series
Language:JavaScript85 8 06
haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
Language:Haskell642 18 396
higgledy
Higher-kinded data via generics
Language:Haskell170 10 1920
holmes
A reference library for constraint-solving with propagators and CDCL.
Language:Haskell304 13 814
learn-me-a-haskell
Trying to get back all the stuff I had in JavaScript.
Language:Haskell70 7 11
LICK
Idris-written, correct-by-construction, simply-typed lambda calculus.
Language:Idris39 4 01
oops
Classy error-handling (and dispatching!) in Haskell.
Language:Haskell48 4 34
purescript-panda
What would TEA look like if we had no VDOM?
Language:PureScript68 14 36
purescript-prelewd
An introduction to common PureScript operators through the only truly universal language.
Language:PureScript49 2 04

i-am-tom's Repositories

i-am-tom/haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
Language:Haskell642 18 396
i-am-tom/holmes
A reference library for constraint-solving with propagators and CDCL.
Language:Haskell304 13 814
i-am-tom/higgledy
Higher-kinded data via generics
Language:Haskell170 10 1920
i-am-tom/learn-me-a-haskell
Trying to get back all the stuff I had in JavaScript.
Language:Haskell70 7 11
i-am-tom/purescript-panda
What would TEA look like if we had no VDOM?
Language:PureScript68 14 36
i-am-tom/purescript-prelewd
An introduction to common PureScript operators through the only truly universal language.
Language:PureScript49 2 04
i-am-tom/oops
Classy error-handling (and dispatching!) in Haskell.
Language:Haskell48 4 34
i-am-tom/LICK
Idris-written, correct-by-construction, simply-typed lambda calculus.
Language:Idris39 4 01
i-am-tom/world-building-in-haskell
Code written for the Berlin FP meetup.
Language:Haskell25 4 02
i-am-tom/dagless
A monadic interface for DAG construction.
Language:Haskell24 3 01
i-am-tom/dagmore
Less Type, more Typeable.
Language:Haskell14 3 0
i-am-tom/purescript-data-algebrae
Reified operations for several common data structures.
Language:PureScript13 3 12
i-am-tom/purescript-propagators
Bidirectional computations as networks of relationships.
Language:PureScript10 2 0
i-am-tom/purescript-super-circles
A simplified Super Hexagon clone written in PureScript.
Language:PureScript9 3 01
i-am-tom/papers
I'm trying to learn things in my time away.
Language:Haskell8 2 0
i-am-tom/purescript-spirographs
CodeMesh 2018 - An introduction to PureScript canvas rendering and the Behaviors library.
Language:PureScript7 2 01
i-am-tom/haskell
A "monorepo" of "packages" that I accidentally ended up making while trying to do something else.
Language:Haskell6 1 0
i-am-tom/i-am-tom.github.io
My personal website for blogging my coding exploits.
Language:JavaScript6 3 34
i-am-tom/learn-me-a-rust
Trying to get back all the stuff I had in Haskell.
Language:Rust3 2 0
i-am-tom/minim
My 2-day Elm hackathon in quarantine
Language:Elm3 1 0
i-am-tom/neopreen
A formatting library to complement the neo4j-driver package.
Language:JavaScript3 2 02
i-am-tom/opengl-playground
Dumping ground for OpenGL experiments.
Language:Haskell3 1 1
i-am-tom/purescript-amplitude
Amplitude wrappers for PureScript
Language:PureScript3 2 0
i-am-tom/hoot
Contentful + Mustache = CMS
Language:Haskell2 3 01
i-am-tom/fishing-minigame
Kittens Game but worse
Language:Elm1
i-am-tom/h-and-h
Language:PureScript1 3 0
i-am-tom/purescript-money
Really made a meal of this one, didn't I?
Language:PureScript1 3 0
i-am-tom/puzzled
Arved and Tom attempt to write a solver.
Language:Haskell1 2 0
i-am-tom/docs-sample-app
Sample Hasura app structure for documentation
Language:PLpgSQL0 0
i-am-tom/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Language:Haskell0 0