SamuelSchlesinger / Complexity-Resources
Resources and notes on computational complexity theory
☆39Updated 4 years ago
Alternatives and similar repositories for Complexity-Resources:
Users that are interested in Complexity-Resources are comparing it to the libraries listed below
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- A formalization of category theory in the Coq proof assistant.☆95Updated 3 months ago
- Haskell Research Compiler☆819Updated 2 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆237Updated 4 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☆319Updated 2 years ago
- A curated list of awesome Coq frameworks, libraries and software.☆235Updated last week
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A simple Wolfram Language clone in Haskell☆243Updated 5 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 8 years ago
- 🐣 A blog engine written and proven in Coq☆178Updated 5 years ago
- The collection synthesizer☆210Updated 4 years ago
- GHC plugin that improves Haskell code's numerical stability☆193Updated 9 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆369Updated last year
- Link to preprints for ICFP'17 and colocated events☆136Updated 6 years ago
- A small compiler for PCF☆123Updated 4 years ago
- Analytic sampler compiler for combinatorial systems☆30Updated 2 years ago
- A course-worth of notes☆201Updated 7 months ago
- An Introduction to Redex with Abstracting Abstract Machines☆102Updated 10 months ago
- Classic Algorithm W for type inference.☆253Updated 14 years ago
- A modern syntax for the λ-calculus.☆411Updated 8 years ago
- Slides from talks that I give☆294Updated last year
- Link to preprints for POPL'17 and co-located events☆100Updated 7 years ago
- FSCQ is a certified file system written and proven in Coq☆238Updated 2 years ago
- Resources for type theory, functional programming, etc.☆315Updated 3 years ago
- A black hole raytracer written in Haskell☆171Updated 3 years ago
- Software Foundations in Idris☆454Updated 5 years ago
- A compiler from ML to C++ template language☆158Updated 9 years ago