Alternatives and similar repositories for Complexity-Resources

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

• adamyedidia / parsimony
  ☆347Updated 7 years ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆719Updated last month
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆414Updated 9 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆618Updated last week
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆234Updated 5 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆310Updated 2 weeks ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆210Updated 5 years ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆792Updated 3 weeks ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆322Updated 3 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆376Updated 9 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆324Updated 9 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 9 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆139Updated 7 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆442Updated 3 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆100Updated last year
• quchen / stgi
  A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
  ☆534Updated 4 years ago
• rgleichman / glance
  A visual Haskell
  ☆731Updated 3 years ago
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆320Updated 4 years ago
• GaloisInc / saw-script
  The Software Analysis Workbench
  ☆488Updated this week
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆245Updated 6 years ago
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆462Updated 7 years ago
• jwbuurlage / category-theory-programmers
  Category theory in the context of (functional) programming
  ☆522Updated 7 years ago
• nuprl / 10PL
  10 papers that all PhD students in programming languages ought to know, for some value of 10
  ☆925Updated 6 years ago
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆378Updated 2 years ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆446Updated last week
• GaloisInc / cryptol
  Cryptol: The Language of Cryptography
  ☆1,195Updated this week
• ChrisPenner / rasa
  Extremely modular text editor built in Haskell
  ☆624Updated 5 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆683Updated 2 months ago
• jaybutera / Abstract-Algebra
  A course-worth of notes
  ☆202Updated last year
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆160Updated 6 years ago