stephen-smith

stephen-smith's Stars

• wireapp/proteus

  Axolotl Protocol Implementation

  Language:Rust42134

• wireapp/wire-server

  🇪🇺 Wire back-end services

  Language:Haskell2.6k323

• vmchale/recursion_schemes

  Recursion schemes for Idris

  Language:Idris645

• stephen-smith/scala-ide-docs

  Documentation for the scala-ide

  Language:JavaScript1

• scala-ide/docs

  Documentation for the scala-ide

  Language:JavaScript3133

• aichallenge/trueskill

  Python implementation of TrueSkill player ranking

  Language:Python82

• aichallenge/aichallenge

  The source code that drives the AI Challenge

  Language:Python633169

• aichallenge/contestbot

  supybot plugin for contestbot from #aichallenge

  Language:Python4

• stephen-smith/ai-contest-2010

  Unofficial Haskell starter package for the Planet Wars AI contest

  Language:Haskell4

• jaspervdj/planet-wars-haskell

  Unofficial Haskell starter package for the Planet Wars AI contest

  Language:Haskell3313

• gebi/fs-test

  Filesystem semantic checker

  Language:C63