jkff / greg

Related projects ⓘ

Alternatives and complementary repositories for greg

• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• natefinch / tree
  A statically typed binary tree in Go without casts or reflection
  ☆19Updated 11 years ago
• swift-nav / wolf
  Wolf is a wrapper around Amazon Simple Workflow Service.
  ☆16Updated 2 years ago
• afonsonf / ceph-consensus-spec
  TLA+ specification of the Ceph consensus algorithm
  ☆21Updated 2 years ago
• atomicobject / odo
  an atomic odometer for the command line
  ☆72Updated 7 years ago
• raptorjit / raptorbook
  RaptorJIT: a dynamic system programming language (manuscript)
  ☆15Updated 5 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• begriffs / wc
  Beating haskell with C
  ☆11Updated 5 years ago
• tokenrove / fixie-trie
  Compact tries for fixed-width keys
  ☆26Updated 6 years ago
• canonware / onyx
  Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript
  ☆11Updated 3 years ago
• backtrace-labs / stuffed-record-stream
  Backtrace.io's resilient log record framing format
  ☆36Updated 2 years ago
• codahale / nanostat
  A Rust library and CLI tool for evaluating whether two or more sets of measurements are statistically different.
  ☆16Updated last year
• bagder / bcut
  cut out a small (binary) piece of a (binary) file
  ☆15Updated 13 years ago
• silentbicycle / skel
  tiny command-line skeleton/snippet thing
  ☆21Updated 6 years ago
• blynn / blt
  Crit-bit tree (trie) library
  ☆32Updated 10 years ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 6 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 4 years ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 2 years ago
• wmertens / nixops-mesos
  A deployment of mesos via NixOps
  ☆11Updated 9 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 9 years ago
• kellabyte / pathfinder
  Pattern library
  ☆16Updated 8 years ago
• seanjensengrey / picolisp
  Minimalist-lisp interpreter implementation for UNIX-like systems.
  ☆10Updated 9 years ago
• synclab / radclock
  RADclock - A feed-forward NTP clock.
  ☆17Updated 11 years ago
• bloom-lang / c4
  Low-latency Overlog runtime
  ☆18Updated 9 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• luceracloud / libfasttime
  Fast time calls from user space.
  ☆11Updated 8 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 5 years ago
• GaloisInc / icfpcontest2015
  The 2015 ICFP Programming Contest
  ☆7Updated 9 years ago