Pinned Repositories
agda-language-server
Language Server for Agda
purescript-bound
Port of Edward Kmett's bound library to PureScript
Idris2
A purely functional programming language with first class types
recursion-schemes
Generalized bananas, lenses and barbed wire
ai-contest-2010
Unofficial Haskell starter package for the Planet Wars AI contest
arcsecond
✨Zero Dependency Parser Combinator Library for JS Based on Haskell's Parsec
constraints
Tools for programming with ConstraintKinds in GHC
openemr
Mirror of my Gitorious repository, where the majority of my work is published.
scala-ide-docs
Documentation for the scala-ide
tdd-idris-ex
Exercise Solutions for Type-Driven Development with Idris
stephen-smith's Repositories
stephen-smith/ai-contest-2010
Unofficial Haskell starter package for the Planet Wars AI contest
stephen-smith/tdd-idris-ex
Exercise Solutions for Type-Driven Development with Idris
stephen-smith/openemr
Mirror of my Gitorious repository, where the majority of my work is published.
stephen-smith/scala-ide-docs
Documentation for the scala-ide
stephen-smith/arcsecond
✨Zero Dependency Parser Combinator Library for JS Based on Haskell's Parsec
stephen-smith/constraints
Tools for programming with ConstraintKinds in GHC
stephen-smith/idris-bi
Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
stephen-smith/Idris-dev
A Dependently Typed Functional Programming Language
stephen-smith/idris-vim
Idris mode for vim
stephen-smith/recursion-schemes
Generalized bananas, lenses and barbed wire
stephen-smith/Idris2
A purely functional programming language with first class types
stephen-smith/maven-settings-decoder
stephen-smith/purescript-book
Sources for the PureScript book
stephen-smith/purescript-bound
Port of Edward Kmett's bound library to PureScript
stephen-smith/reactor_simulator_ui
A javascript UI for reactor_simulator
stephen-smith/www.haskell.org
www.haskell.org site source