Block or report user
  • A periodically screen-shooter

    Scala Updated May 28, 2017
  • My implementation of Raft to learn it

    Updated Apr 29, 2017
  • netty

    Forked from netty/netty

    Netty project - an event-driven asynchronous network application framework

    Java 5,048 Updated Apr 22, 2017
  • nixpkgs

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix 2,110 Updated Mar 4, 2017
  • A fault tolerant, protocol-agnostic RPC system

    Scala 1,084 Updated Nov 8, 2016
  • Asynchronous Scala HTTP client using Finagle, Shapeless and Cats

    Scala 26 Updated Jul 7, 2016
  • An example application written in ScalaJS using scala-js-dom and scala-js-workbench

    Scala 90 Updated May 23, 2016
  • An sbt plugin for building Frege code.

    Scala 2 Updated Nov 4, 2015
  • Haskell 1 Updated Oct 14, 2015
  • A Haskell to Javascript compiler.

    Haskell 103 Updated Oct 7, 2015
  • Haskell 98 bifunctors, bifoldables and bitraversables

    Haskell 21 Updated Sep 29, 2015
  • Blog post previews in need of peer review

    109 Updated Sep 2, 2015
  • An implementation of the paper 'A Neural Algorithm of Artistic Style'.

    Lua 310 Updated Sep 1, 2015
  • A typeface designed for source code

    315 Updated Aug 31, 2015
  • pandoc

    Forked from jgm/pandoc

    Universal markup converter

    Haskell 1,110 Updated Aug 30, 2015
  • Sodium - Functional Reactive Programming (FRP) Library for Java, Haskell, C++, C# and Scala

    JavaScript 92 Updated Aug 28, 2015
  • Templates for pandoc

    HTML 636 Updated Aug 26, 2015
  • Units of measure as a GHC typechecker plugin

    Haskell 4 Updated Aug 26, 2015
  • Generate Nix build instructions from a Cabal file

    Haskell 57 Updated Aug 26, 2015
  • Functional Programming Course

    Haskell 672 Updated Aug 24, 2015
  • Haskell 27 Updated Aug 24, 2015
  • Persistence interface for Haskell allowing multiple storage methods.

    C 146 Updated Aug 23, 2015
  • agda

    Forked from agda/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell 58 Updated Aug 22, 2015
  • A Git annex repository of papers

    42 Updated Aug 22, 2015
  • Add ACID guarantees to any serializable Haskell data structure

    Haskell 33 Updated Aug 19, 2015
  • brick is a declarative terminal UI programming library written in Haskell

    Haskell 44 Updated Aug 18, 2015
  • acat

    Forked from 01org/acat

    Assistive Context-Aware Toolkit

    C# 592 Updated Aug 17, 2015
  • kythe

    Forked from google/kythe

    Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.

    C++ 82 Updated Aug 13, 2015
  • blog

    Forked from ocharles/blog

    The contents of ocharles.org.uk/blog

    Haskell 21 Updated Aug 13, 2015
  • Scala.js, the Scala to JavaScript compiler

    Scala 266 Updated Aug 12, 2015