Alternatives and similar repositories for stripe-ctf3

Users that are interested in stripe-ctf3 are comparing it to the libraries listed below

• aviaviavi / legion
  Simple blockchain server written in Haskell for educational purposes
  ☆602Updated 7 years ago
• kadena-io / juno
  Smart Contracts Running on a BFT Hardened Raft
  ☆454Updated 3 years ago
• chris-taylor / aima-haskell
  Algorithms from AIMA in Haskell
  ☆334Updated 8 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆608Updated 3 months ago
• mightybyte / monad-challenges
  A set of challenges for jump starting your understanding of monads.
  ☆338Updated 4 years ago
• hopper-lang / hopper-v0
  a sound modern language for computation and transactional resource logic
  ☆101Updated 9 years ago
• jeanqasaur / jeeves
  Python implementation of the Jeeves programming language.
  ☆336Updated 7 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆413Updated 9 years ago
• ipfs-inactive / research-CRDT
  [ARCHIVED] Repo to organize our ideas about research implementations of CRDTs.
  ☆483Updated 5 years ago
• jaybutera / Abstract-Algebra
  A course-worth of notes
  ☆202Updated last year
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• michaelochurch / summer-2015-haskell-class
  Summer 2015 Haskell Class
  ☆212Updated 10 years ago
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆187Updated 6 years ago
• realworldocaml / examples
  All the examples in Real World OCaml
  ☆378Updated 2 years ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,054Updated 8 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆182Updated 5 years ago
• sdiehl / tinyjit
  Haskell JIT
  ☆185Updated 5 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆374Updated 8 years ago
• aviaviavi / cryptocompare
  Haskell wrapper for the CryptoCompare API - No longer maintained, ping me if you'd like to take over
  ☆80Updated 5 years ago
• bshlgrs / data-structure-composer
  Automatically choosing fast data structures!
  ☆38Updated 8 years ago
• chrisdone-archive / tryhaskell
  Try Haskell
  ☆192Updated 2 years ago
• coffeemug / defstartup
  Musings on building groundbreaking technology companies.
  ☆426Updated 7 years ago
• byorgey / haskell-course
  Introductory Haskell course materials (originally CIS 194 @ UPenn)
  ☆282Updated 3 years ago
• jbarrow / LambdaNet
  Purely functional artificial neural network library implemented in Haskell.
  ☆381Updated 9 years ago
• dterei / Research-Papers
  Collection of various research papers I find interesting
  ☆84Updated 9 years ago
• stripe-archive / brushfire
  Distributed decision tree ensemble learning in Scala
  ☆390Updated 6 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• hwayne / learntla
  A TLA+ guide
  ☆278Updated 3 years ago
• floydwch / the-most-influential-developers-on-github
  For Github Data Challenge 2014
  ☆50Updated 11 years ago
• bkirwi / ethereum-haskell
  An independent reimplementation of Ethereum in Haskell
  ☆81Updated 10 years ago