thomie

thomie's Stars

• ermine-language/ermine

  The Ermine Programming Language - Join us on irc.freenode.net #ermine

  Language:Haskell21817

• zack-bitcoin/basiccoin

  The smallest currency I can make

  Language:Erlang496108

• btcsuite/btcd

  An alternative full node bitcoin implementation written in Go (golang)

  Language:Go6.2k2.4k

• hashdist/hashdist

  The HashDist environment management system

  Language:Python10744

• fantasyland/fantasy-land

  Specification for interoperability of common algebraic structures in JavaScript

  Language:JavaScript10.1k375

• axch/dysvunctional-language

  Running the code you want to write as fast as the code you have to write

  Language:Scheme1395

• ndmitchell/shake

  Shake build system

  Language:Haskell772118

• wedesoft/blc

  Binary Lambda Calculus VM and DSL on top of it

  Language:C92

• nanomsg/nanomsg

  nanomsg library

  Language:C6k1k

• usethesource/rascal

  The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

  Language:Java40478

• contiki-os/contiki

  The official git repository for Contiki, the open source OS for the Internet of Things

  Language:C3.7k2.6k

• sockjs/sockjs-client

  WebSocket emulation - Javascript client

  Language:JavaScript8.4k1.3k

• tlaitinen/yesod-datatables

  Routines for implementing server-side processing for DataTables (jQuery grid) in Haskell

  Language:JavaScript41

• snoyberg/yesod-fay

  Utilities for using the Fay Haskell-to-JS compiler with Yesod.

  Language:Haskell1013

• AboutUs/peg

  Tracks the official peg/leg repository from http://piumarta.com/software/peg/

  Language:C1

• ion1/workaround-upstart-snafu

  Work around Upstart getting stuck in “<jobname> stop/killed, process 12345”

  Language:Ruby6613

• LMAX-Exchange/disruptor

  High Performance Inter-Thread Messaging Library

  Language:Java17.4k3.9k

• prowdsponsor/esqueleto

  Bare bones, type-safe EDSL for SQL queries on persistent backends.

  Language:Haskell17851

• faylang/fay

  A proper subset of Haskell that compiles to JavaScript

  Language:Haskell1.3k88

• matthewnourse/r17

  a relational concurrent data mining language

  Language:C++526

• snoyberg/yesod-js

  Higher-level interaction between Yesod and Javascript

  Language:Haskell369

• elm/compiler

  Compiler for Elm, a functional language for reliable webapps.

  Language:Haskell7.5k663

• agocorona/Workflow

  re-startable monad that recover the execution state from a log, and workflow patterns

  Language:Haskell436

• wrr/wwwhisper

  Access control for web servers

  Language:Python10613

• wwwtyro/keyzen

  A touch typing trainer geared towards programmers and others that need to practice with all the symbols on the keyboard.

  Language:JavaScript195139

• brendannee/github-visualization

  Visualization of work done at Hacker School

  Language:JavaScript148

• NixOS/nix

  Nix, the purely functional package manager

  Language:C++12.5k1.5k

• erikrose/parsimonious

  The fastest pure-Python PEG parser I can muster

  Language:Python1.8k127

• tonymorris/geo-osm

  Data structures and HXT parser for OpenStreetMap files

  Language:Haskell139

• LucidDB/luciddb

  DEFUNCT: See README

  Language:Java5324