nvanderw

nvanderw's Stars

• mlang/chessIO

  Fast haskell chess move generator library and console UCI frontend

  Language:Haskell316

• zcash/zcash

  Zcash - Internet Money

  Language:C++4.9k2k

• Eirik0/Austronomaton

  Space and gravity simulation

  Language:Java2

• puffnfresh/free-graphs

  Generate GraphViz graphs by interpretting free monads.

  Language:Haskell525

• sacundim/free-operational

  Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.

  Language:Haskell257

• Rickasaurus/FSVindinium

  F# Starter Package for Vindinium

  Language:F#54

• scalaz/scalaz

  Principled Functional Programming in Scala

  Language:Scala4.7k709

• crypto-agda/crypto-agda

  Cryptographic Constructions in the Type Theory of Agda

  Language:Agda525

• cuplv/thresher

  Static heap reachability analysis for Java bytecode and Android memory leak finder.

  Language:Java3115

• IHaskell/IHaskell

  A Haskell kernel for the Jupyter project.

  Language:Jupyter Notebook2.6k259

• nvanderw/hs-sudoku

  A Haskell sudoku solver which utilizes backtracking

  Language:Haskell1

• ksheedlo/sudoku

  A sudoku solver for great justice.

  Language:Python4

• nvanderw/NumberTheory

  Elementary number-theoretic code written for MATH 3110.

  Language:Haskell1

• nvanderw/mandelbrot-cuda

  A demo of generating large images of the Mandelbrot set using Nvidia CUDA.

  Language:C1

• nvanderw/Algebraic

  Some code for dealing with algebraic structures in Haskell

  Language:Haskell1

• pikhq/cmako

  An implementation of the Mako VM in C

  Language:Shell113

• dag/vim2hs

  vim2hs :: Vim -> Haskell

  Language:VimL34047

• JohnEarnest/Mako

  A simple virtual game console

  Language:Forth56839

• ghcjs/ghcjs

  Haskell to JavaScript compiler, based on GHC

  Language:Haskell2.6k188