logicforprogrammers / book-assetsLinks
Assets for the book "Logic for Programmers"
☆21Updated 3 weeks ago
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
- Support for for students (Python)☆65Updated 3 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 3 years ago
- Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.☆56Updated last year
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆18Updated last year
- Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020☆71Updated 8 months ago
- Learn TLA+ for free! No prior experience necessary!☆221Updated 5 months ago
- ☆85Updated 3 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆122Updated 8 months ago
- Code and materials for my book "Pragmatic Type Level Design"☆144Updated 4 months ago
- ☆20Updated last year
- IITM Paradigms of Programming -- Monsoon 2025☆17Updated this week
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 7 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- A reference implementation of GPT-2 in Python, for teaching ML compilers☆15Updated this week
- Definitional implementation of Cedar language and utilities for DRT☆129Updated this week
- ☆14Updated 2 years ago
- Learn Ocaml by reading code examples☆73Updated 2 years ago
- ☆34Updated last month
- ☆14Updated 2 years ago
- An overview of property-based testing functionality☆71Updated 2 months ago
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆37Updated 11 months ago
- A summary of ideas about transpilation -- work in progress☆23Updated 2 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆80Updated this week
- Programs and Proofs -- Spring 2025 -- IITM☆19Updated 3 months ago
- SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.☆122Updated 10 months ago
- Some experiments in making exercises for teaching TLA+☆19Updated 3 months ago
- ☆43Updated 4 months ago
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆13Updated last year