logicforprogrammers / book-assetsLinks
Assets for the book "Logic for Programmers"
☆24Updated last month
Alternatives and similar repositories for book-assets
Users that are interested in book-assets are comparing it to the libraries listed below
Sorting:
- Support for for students (Python)☆69Updated 3 weeks ago
- Learn TLA+ for free! No prior experience necessary!☆231Updated 8 months ago
- Readings on computational logic, interactive theorem proving and functional programming.☆83Updated this week
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆46Updated 3 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆57Updated last year
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆48Updated 2 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆10Updated 2 years ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆76Updated 3 weeks ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 3 years ago
- ☆36Updated last month
- Forge: A Tool and Language for Teaching Formal Methods☆92Updated last week
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆17Updated last week
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- ☆90Updated 3 years ago
- Code and materials for my book "Pragmatic Type Level Design"☆147Updated 7 months ago
- ☆20Updated last year
- An overview of property-based testing functionality☆74Updated 2 weeks ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆67Updated 8 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆130Updated 11 months ago
- Library-based Language Extensibility☆39Updated 11 years ago
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆14Updated last year
- CHR2 to SQL conversion☆14Updated 10 years ago
- TLA+ Foundation☆31Updated 2 weeks ago
- Definitional implementation of Cedar language and utilities for DRT☆140Updated this week
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated 2 years ago
- being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session☆19Updated 3 years ago
- Alloy*---Higher Order Logic for Alloy☆36Updated 5 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆136Updated 5 months ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆165Updated last week