chrisnc - Overview (original) (raw)

  1. tangaroa tangaroa Public
    A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.
    Haskell 114 15
  2. hvx hvx Public
    Disciplined Convex Programming in Haskell
    Haskell 22 8
  3. sicp sicp Public
    Implementations of exercises and examples from Structure and Interpretation of Computer Programs, in Haskell and Racket.
    Racket 3 1
  4. knrc knrc Public
    The C Programming Language, exercises and examples
    C 1 2
  5. cs240h-notes cs240h-notes Public
    Forked from scslab/cs240h-notes
    Stanford CS240h Class Notes -- Functional Systems in Haskell
  6. protobuf-wireshark protobuf-wireshark Public
    Automatically exported from code.google.com/p/protobuf-wireshark
    Python