evanmcc

evanmcc's Stars

• fizzbee-io/fizzbee

  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

  Language:Python1679

• crossbeam-rs/crossbeam

  Tools for concurrent programming in Rust

  Language:Rust7.6k474

• luceracloud/libfasttime

  Fast time calls from user space.

  Language:C113

• heroku/heroku-buildpack-erlang

  Erlang buildpack

  Language:Shell10575

• joedevivo/chatterbox

  HTTP/2 Server for Erlang. Boy, that guy was a real chatterbox waddn't he? I didn't think he was ever going to stop with the story.

  Language:Erlang23969

• tomprimozic/type-systems

  Implementations of various type systems in OCaml.

  Language:OCaml1.6k72

• dtrace4linux/linux

  dtrace for linux - kernel driver and userland tools

  Language:C1.2k226

• deplinenoise/c-amplify

  S-expression source translation and macro expansion utility

  Language:Common Lisp8211

• evanmcc/triage

  Eventually, a greader-alike with better discussion features.

  Language:Python1

• paddyboy/Ancient-Ultimate-Sword

  Language:Python31

• basho/riaknostic

  A diagnostic tool for Riak installations, to find common errors asap

  Language:Erlang5731

• basho/riak

  Riak is a decentralized datastore from Basho Technologies.

  Language:Shell4k538

• basho/rebar

  ATTENTION: Please find the canonical repository here:

  Language:Erlang1.1k246

• evanmcc/simple_cass

  A very simple dictionary-based approach to interfacing with cassandra, inspired by Evan Wheeler's ruby interface.

  Language:Python1

• evanmcc/pfh

  functional python html generation library

  Language:Python2

• lfe/lfe

  Lisp Flavoured Erlang (LFE)

  Language:Erlang2.3k141