Assets for the book "Logic for Programmers"
☆60Aug 28, 2026Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆48Jul 7, 2022Updated 4 years ago
- A textbook on formal languages and automata, in Russian☆26Feb 24, 2020Updated 6 years ago
- Leo code snippets☆13Apr 27, 2020Updated 6 years ago
- A small batch processing utlity☆12Jan 21, 2022Updated 4 years ago
- ☆14Apr 9, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆30Oct 10, 2022Updated 3 years ago
- ☆16Dec 20, 2021Updated 4 years ago
- lightweight property graph as javascript module☆19Sep 5, 2024Updated 2 years ago
- ☆13Sep 15, 2022Updated 4 years ago
- An LSP server for ReStructuredText, as implemented by Sphinx (under development)☆15Jan 11, 2023Updated 3 years ago
- A collection of utils to work with the Tezos blockchain using Elixir: parsing Micheline, verifying Tezos signed messages, deriving Tezos …☆14Aug 17, 2026Updated last month
- Raku bindings to the libxml2 native library☆13Jun 10, 2026Updated 3 months ago
- A health check utility for any OTP application☆16Feb 28, 2026Updated 6 months ago
- TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus☆22Dec 14, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Erlang driver for libphonenumber.☆14Mar 9, 2026Updated 6 months ago
- CrashDB is an ephemeral in-memory NoSQL database for the confident developer.☆23Oct 11, 2018Updated 7 years ago
- Daily kata from the Little Typer☆13Dec 28, 2018Updated 7 years ago
- ©️ Manager for license headers in source code files.☆49Aug 31, 2026Updated 2 weeks ago
- ☆12Jun 14, 2021Updated 5 years ago
- Design, Test & Optimize Powerful Algorithms with Full Control☆16Nov 30, 2025Updated 9 months ago
- A library to manage positional files in Elixir☆14Sep 2, 2026Updated 2 weeks ago
- Various tutorials to interact with the ConseilJS Library☆10Feb 15, 2019Updated 7 years ago
- An example on how to use Storybook to document ReScriptReact components☆12Nov 20, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ArchUnit-inspired architecture testing library for Elixir☆17May 21, 2026Updated 3 months ago
- Ruby script to convert Concepts SVG files into multiple PDF pages☆11Jun 1, 2022Updated 4 years ago
- Simple Structured logger☆14Jun 8, 2025Updated last year
- Bring colorful and funny Jumoreski into your workspace!☆17Nov 5, 2023Updated 2 years ago
- A fake and predictable SOAP client, useful for your unit tests.☆12Sep 9, 2026Updated last week
- Formal verification agent for design or implementation☆16Nov 18, 2025Updated 10 months ago
- `linear-locks` provides locking primitives that are statically guaranteed to be free of deadlocks.☆23Jul 13, 2026Updated 2 months ago
- ☆10Sep 7, 2022Updated 4 years ago
- More stable versions of some articles from my blog☆42Apr 23, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- GHC plugin for automatic case splitting☆19May 13, 2026Updated 4 months ago
- Un cours d'OCaml alternatif à l'UE INF201 de l'UGA☆16Apr 29, 2024Updated 2 years ago
- ☆10Oct 9, 2023Updated 2 years ago
- Tezos Baking Made Easy☆13Dec 25, 2021Updated 4 years ago
- Open Insights is a framework for constructing browser-based RUM clients.☆13Jan 6, 2023Updated 3 years ago
- agentic skills to write TLA+ specs or TLAPS proofs☆20Jul 11, 2026Updated 2 months ago
- My personal collection of utilities and ideas in Elixir☆18May 6, 2023Updated 3 years ago