Beast code in Giters

Boyd Stephen Smith Jr.'s repositories

Unofficial Haskell starter package for the Planet Wars AI contest

Language:HaskellNOASSERTION4 10

Exercise Solutions for Type-Driven Development with Idris

Language:IdrisAGPL-3.04 20

Mirror of my Gitorious repository, where the majority of my work is published.

Language:PHPGPL-2.0100

Documentation for the scala-ide

Language:JavaScriptNOASSERTION100

✨Zero Dependency Parser Combinator Library for JS Based on Haskell's Parsec

Language:JavaScript010

Tools for programming with ConstraintKinds in GHC

Language:HaskellNOASSERTION020

Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq

Language:Idris000

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION020

Idris mode for vim

Language:Vim script020

Generalized bananas, lenses and barbed wire

Language:HaskellNOASSERTION000

A purely functional programming language with first class types

Language:IdrisNOASSERTION010

Language:Java000

Sources for the PureScript book

Language:PureScript000

Port of Edward Kmett's bound library to PureScript

Language:PureScriptBSD-3-Clause000

A javascript UI for reactor_simulator

Language:JavaScript000

www.haskell.org site source

BSD-3-Clause000