zanzix

idris-neural-net

An implementation of a simple Neural network in Idris using category theory.

zanzix.github.io

catlog

dnata

elm challenge for dnata

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.

elmenv

Simple Elm version management.

exp-subs

Explicit substitution calculi

haskell

Haskell bindings for TensorFlow

Haskell-Turtle-Library

Shell programming, Haskell style

idris

Exercism exercises in Idris.

Idris-dev

A Dependently Typed Functional Programming Language

continuation-lenses

lightyear

Parser combinators for Idris

monad-control

Lift control operations, like exception catching, through monad transformers

package-sets

A curated list of PureScript packages

purescript-halogen

A declarative, type-safe UI library for PureScript.

purescript-simple-dom

purescript-three

Purescript bindings for Threejs

reflex-dom-inbits

A tutorial for reflex-dom with small code bits

software-foundations

Software Foundations in Idris

well.co

Well coding challenge