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:
- My personal repository of formally verified mathematics.☆301Updated 3 months ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 8 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- Haskell Research Compiler☆819Updated 2 years ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 7 months ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- The collection synthesizer☆211Updated 4 years ago
- A curated list of awesome Coq frameworks, libraries and software.☆234Updated last week
- Cogent Project☆165Updated 3 months ago
- A probabilistic programming language☆318Updated 3 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆370Updated 2 years ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆779Updated last month
- Link to preprints for ICFP'17 and colocated events☆136Updated 7 years ago
- A simple Wolfram Language clone in Haskell☆244Updated 5 years ago
- Convert Haskell source code to Coq source code☆281Updated 4 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- Mirror of Software Foundations in PDF☆303Updated 4 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Formal Reasoning About Programs☆688Updated last year
- Link to preprints for POPL'17 and co-located events☆100Updated 8 years ago
- A course-worth of notes☆202Updated 11 months ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆215Updated 6 years ago
- A curated set of links to formal methods involving provable code.☆208Updated 3 years ago
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆434Updated 2 years ago
- My personal notes on various computer languages☆223Updated 4 years ago
- 🐣 A blog engine written and proven in Coq☆178Updated 5 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 8 years ago
- Spartan type theory☆267Updated last year