Block or report user

Report or block brandonhamilton

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Developer Program Member

Organizations

@NetFPGA

Strict Haskell-like programming language that compiles to LLVM

Haskell 47 3 Updated Sep 7, 2018

Dependently typed Algorithm M and friends

Agda 20 1 Updated Jun 2, 2018

🖼️ the compiling to closed categories compiler

Haskell 57 1 Updated Apr 17, 2018

Functional programming with fewer indirections

Haskell 425 20 Updated Oct 12, 2018

Haskell typechecker

Haskell 29 1 Updated Sep 17, 2018

A standard library for the client-side Web

Rust 2,137 115 Updated Oct 19, 2018

A simple expressions language with polymorphic extensible row types.

Haskell 67 7 Updated Sep 20, 2018

being a thing I build on a Saturday

Haskell 24 1 Updated Mar 5, 2018

(Please don’t repost, this is still a WIP) A friendly little systems language with first-class types and unboxed data.

Rust 204 14 Updated Oct 17, 2018

Assorted immutable collection datatypes for Rust

Rust 514 19 Updated Oct 13, 2018

Adventures in parser combinators

Haskell 5 Updated Jun 22, 2018

Hybrid textual and visual functional programming.

Haskell 2,488 63 Updated Oct 18, 2018

Resources for type theory, functional programming, etc.

158 5 Updated Jun 15, 2018

Programming Language Theory

CSS 3,693 238 Updated Mar 14, 2018

CAES Language for Synchronous Hardware

Haskell 592 65 Updated Oct 19, 2018
Haskell 105 46 Updated Oct 14, 2018

Haskell papers optimized for my e-reader.

221 17 Updated Dec 14, 2016

A UI library based on the incremental lambda calculus

PureScript 80 6 Updated Jul 11, 2018

(Hopefully useful) Haskell bindings to the BitX bitcoin exchange's API.

Haskell 9 4 Updated Dec 24, 2017

Do-notation and Monads for JavaScript

JavaScript 24 1 Updated Aug 16, 2012

A language and an embedded JIT compiler

C 724 60 Updated Oct 19, 2018

Lightweight Elixir lenses

Elixir 194 6 Updated Sep 28, 2017

Haskell compiler infastructure for WebAssembly

WebAssembly 354 16 Updated Dec 24, 2017

Interactive Visualisation project to take in a .dot file and transform it into an interactive graph

Haskell 1 1 Updated Mar 3, 2017

Document detection/scanning application in Haskell. Command line program that reads image files from disk, processes them, and writes detected, perspective corrected documents from images on to disk.

Haskell 1 Updated Oct 4, 2017

A small strongly typed language that compiles to Javascript^W Erlang

Haskell 154 1 Updated Sep 17, 2018

24 Days of PureScript, 2016

245 6 Updated Apr 10, 2017

(Semi-)principled type classes for Elixir

Elixir 66 3 Updated Jul 2, 2018

RISC-V by VectorBlox

VHDL 180 43 Updated Mar 8, 2018

Functional data structures in C++

C++ 386 61 Updated May 1, 2015