Alternatives and similar repositories for stripe-ctf3:

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

• salesforce / runway-browser
  Interactive visualization framework for Runway models of distributed systems
  ☆187Updated 3 years ago
• michaelochurch / summer-2015-haskell-class
  Summer 2015 Haskell Class
  ☆213Updated 9 years ago
• mietek / total-fp
  Total functional programming (ESFP) literature
  ☆187Updated 6 years ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆319Updated 3 years ago
• hopper-lang / hopper-v0
  a sound modern language for computation and transactional resource logic
  ☆101Updated 8 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆601Updated 10 months ago
• jeanqasaur / jeeves
  Python implementation of the Jeeves programming language.
  ☆336Updated 7 years ago
• aviaviavi / legion
  Simple blockchain server written in Haskell for educational purposes
  ☆601Updated 7 years ago
• chris-taylor / aima-haskell
  Algorithms from AIMA in Haskell
  ☆332Updated 7 years ago
• sdiehl / tinyjit
  Haskell JIT
  ☆184Updated 5 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• gdb / stripe-prg
  Stripe paper reading group materials
  ☆262Updated 9 years ago
• jaybutera / Abstract-Algebra
  A course-worth of notes
  ☆202Updated 9 months ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆622Updated 4 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 5 months ago
• mirage / ocaml-git
  Pure OCaml Git format and protocol
  ☆364Updated last month
• commercialhaskell / commercialhaskell
  A special interest group for companies and individuals interested in commercial usage of Haskell
  ☆457Updated 2 years ago
• aphyr / meangirls
  Convergent Replicated Data Types
  ☆656Updated 9 years ago
• byorgey / haskell-course
  Introductory Haskell course materials (originally CIS 194 @ UPenn)
  ☆278Updated 2 years ago
• blaenk / blaenk.github.io
  the source for my personal site, written in Haskell, powered by Hakyll
  ☆47Updated 3 years ago
• bshlgrs / data-structure-composer
  Automatically choosing fast data structures!
  ☆38Updated 7 years ago
• 0xmohit / talks
  A collection of interesting talks
  ☆32Updated 8 years ago
• jiahao / backus-dijkstra-letters-1979
  Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…
  ☆109Updated 8 years ago
• evnm / research-in-production
  A collection of research papers categorized by real-world systems that enact them
  ☆213Updated 7 years ago
• bfpg / cis194-yorgey-lectures
  A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.
  ☆145Updated 8 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆176Updated 11 months ago
• GaloisInc / haskell-tor
  A Haskell implementation of the Tor protocol.
  ☆273Updated 7 years ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆166Updated 6 months ago