Alternatives and similar repositories for Complexity-Resources

Users that are interested in Complexity-Resources are comparing it to the libraries listed below

• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 3 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 9 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 5 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆610Updated 5 months ago
• adamyedidia / parsimony
  ☆345Updated 7 years ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆712Updated 2 weeks ago
• nuprl / 10PL
  10 papers that all PhD students in programming languages ought to know, for some value of 10
  ☆910Updated 6 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆305Updated 3 weeks ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆234Updated 4 years ago
• GaloisInc / saw-script
  The SAW scripting language.
  ☆482Updated this week
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆245Updated 6 years ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆786Updated 3 weeks ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆325Updated 9 years ago
• ligurio / practical-fm
  A gently curated list of companies using verification formal methods in industry
  ☆579Updated last month
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆322Updated 3 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆375Updated 8 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆100Updated last year
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆993Updated 3 weeks ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆806Updated last year
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆440Updated 3 years ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆625Updated 4 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆677Updated 2 weeks ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆411Updated 9 years ago
• webyrd / Barliman
  Prototype smart text editor
  ☆1,063Updated 8 months ago
• melling / ComputerLanguages
  My personal notes on various computer languages
  ☆225Updated 5 years ago
• mietek / sf
  Mirror of Software Foundations in PDF
  ☆305Updated 5 years ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆535Updated this week
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆235Updated 2 weeks ago
• ChrisPenner / rasa
  Extremely modular text editor built in Haskell
  ☆623Updated 5 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆710Updated 7 months ago