SamuelSchlesinger / Complexity-ResourcesLinks
Resources and notes on computational complexity theory
☆39Updated 5 years ago
Alternatives and similar repositories for Complexity-Resources
Users that are interested in Complexity-Resources are comparing it to the libraries listed below
Sorting:
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- My personal repository of formally verified mathematics.☆299Updated 2 months ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 7 months ago
- A simple Wolfram Language clone in Haskell☆243Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A curated list of awesome Coq frameworks, libraries and software.☆234Updated 2 weeks ago
- Haskell Research Compiler☆820Updated 2 years ago
- The collection synthesizer☆211Updated 4 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- Spartan type theory☆266Updated last year
- Mirror of Software Foundations in PDF☆301Updated 4 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- A port of Coq to Javascript -- Run Coq in your Browser☆526Updated this week
- An axiom-free formalization of category theory in Coq for personal study and practical work☆776Updated last week
- 🐣 A blog engine written and proven in Coq☆178Updated 5 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- A probabilistic programming language☆318Updated 3 years ago
- A modern syntax for the λ-calculus.☆413Updated 8 years ago
- Convert Haskell source code to Coq source code☆281Updated 4 years ago
- The Hindley Milner Type Inference Algorithm☆371Updated 8 years ago
- A small compiler for PCF☆124Updated 4 years ago
- ☆343Updated 7 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆372Updated 2 years ago
- FSCQ is a certified file system written and proven in Coq☆243Updated 2 years ago
- Classic Algorithm W for type inference.☆253Updated 15 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- A gently curated list of companies using verification formal methods in industry☆544Updated 3 months ago
- Cogent Project☆165Updated 2 months ago
- A framework for formally verifying distributed systems implementations in Coq☆608Updated last year