Pinned Repositories
idris-neural-net
An implementation of a simple Neural network in Idris using category theory.
zanzix.github.io
zanzix's Repositories
zanzix/idris-neural-net
An implementation of a simple Neural network in Idris using category theory.
zanzix/zanzix.github.io
zanzix/catlog
zanzix/dnata
elm challenge for dnata
zanzix/elm-lang.org
The full source for http://elm-lang.org/, the home-page of the Elm programming language. Open sourced as a way to teach people how to write and serve Elm code. Follow the instructions in README.md to get the site setup on your own machine.
zanzix/elmenv
Simple Elm version management.
zanzix/exp-subs
Explicit substitution calculi
zanzix/haskell
Haskell bindings for TensorFlow
zanzix/Haskell-Turtle-Library
Shell programming, Haskell style
zanzix/idris
Exercism exercises in Idris.
zanzix/Idris-dev
A Dependently Typed Functional Programming Language
zanzix/continuation-lenses
zanzix/lightyear
Parser combinators for Idris
zanzix/monad-control
Lift control operations, like exception catching, through monad transformers
zanzix/package-sets
A curated list of PureScript packages
zanzix/purescript-halogen
A declarative, type-safe UI library for PureScript.
zanzix/purescript-simple-dom
zanzix/purescript-three
Purescript bindings for Threejs
zanzix/reflex-dom-inbits
A tutorial for reflex-dom with small code bits
zanzix/software-foundations
Software Foundations in Idris
zanzix/well.co
Well coding challenge