Alternatives and similar repositories for Complexity-Resources

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

• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆820Updated 2 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆97Updated 9 months ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• uwplse / verdi
  A framework for formally verifying distributed systems implementations in Coq
  ☆608Updated last month
• mietek / sf
  Mirror of Software Foundations in PDF
  ☆303Updated 4 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 9 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆234Updated 4 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆235Updated this week
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆373Updated 8 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆245Updated 6 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆303Updated this week
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆179Updated 5 years ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆691Updated last year
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆321Updated 3 years ago
• jaybutera / Abstract-Algebra
  A course-worth of notes
  ☆202Updated last year
• nuprl / 10PL
  10 papers that all PhD students in programming languages ought to know, for some value of 10
  ☆911Updated 5 years ago
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆321Updated 4 years ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆784Updated last week
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• melling / ComputerLanguages
  My personal notes on various computer languages
  ☆223Updated 4 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆100Updated 8 years ago
• ligurio / practical-fm
  A gently curated list of companies using verification formal methods in industry
  ☆558Updated 6 months ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆198Updated last year
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆413Updated 9 years ago