logicforprogrammers / book-assetsLinks
Assets for the book "Logic for Programmers"
☆22Updated 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:
- Exercises and projects for Jane Street's OCaml Workshop☆10Updated 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 …☆47Updated 2 years ago
- Learn TLA+ for free! No prior experience necessary!☆223Updated 6 months ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 7 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆56Updated last year
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 3 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆80Updated this week
- Code and materials for my book "Pragmatic Type Level Design"☆145Updated 5 months ago
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆73Updated last week
- Library-based Language Extensibility☆39Updated 11 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆17Updated this week
- Support for for students (Python)☆67Updated 4 months ago
- ☆43Updated 4 months ago
- Alloy*---Higher Order Logic for Alloy☆36Updated 5 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- ☆20Updated last year
- Definitional implementation of Cedar language and utilities for DRT☆133Updated this week
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆123Updated 9 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆89Updated 2 months ago
- ☆14Updated 2 years ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆39Updated last month
- An overview of property-based testing functionality☆73Updated 3 months ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- Exploring techniques for code refactoring with formal verification☆10Updated 10 months ago
- Idris version of Domain Modeling Made Functional Book.☆143Updated 3 years ago
- A graduate course on distributed systems☆17Updated 3 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆79Updated 2 years ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆140Updated this week