lawrencecpaulson / lawrencecpaulson.github.ioLinks
the blog "Machine Logic"
☆22Updated last week
Alternatives and similar repositories for lawrencecpaulson.github.io
Users that are interested in lawrencecpaulson.github.io are comparing it to the libraries listed below
Sorting:
- Implementing a small functional language with a combinator based graph-reduction machine☆40Updated 5 months ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆45Updated last year
- ☆44Updated 4 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated last week
- Toy implementation of Martin-Löf Type Theory☆30Updated 3 years ago
- Pure, statically typed, content-addressable, programming language for spreadsheet use☆29Updated 2 years ago
- Fωμ type checker and compiler☆56Updated 3 years ago
- Agda libraries relevant to Moonad☆14Updated 6 years ago
- Lean 4 port of Megaparsec☆34Updated 2 years ago
- A pure type system implemented in OCaml☆78Updated 5 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆82Updated 3 years ago
- Anders: Cubical Type Checker☆23Updated 2 years ago
- More stable versions of some articles from my blog☆36Updated 9 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆95Updated this week
- A portable idris2 implementation of TLS☆32Updated last year
- HTTP specification in Coq, testable and verifiable☆16Updated 4 months ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆53Updated 3 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- The Iowa Agda Library☆53Updated 3 months ago
- A TOML parser for Idris 2☆17Updated last year
- A verified compiler for a lazy functional language☆39Updated last week
- Awesome Agda Programming☆18Updated 4 months ago
- Source files used for the Cedille Cast videos☆13Updated last month
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆124Updated 2 weeks ago
- ☆32Updated 7 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Updated last year
- The place for submitting new articles to the Serokell blog.☆16Updated last year
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 5 years ago
- A library that makes it nicer to work with nested functional data structures☆61Updated 3 weeks ago
- Build system☆134Updated 3 months ago