Assets for the book "Logic for Programmers"
☆42Jun 15, 2026Updated 2 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:
- Repository of the Haskell Blog☆17Updated this week
- ☆11Jun 4, 2021Updated 5 years ago
- Simple Structured logger☆14Jun 8, 2025Updated last year
- Some experiments in making exercises for teaching TLA+☆20May 7, 2025Updated last year
- GHC plugin for automatic case splitting☆19May 13, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code related to the Low Level C# course.☆12Nov 16, 2022Updated 3 years ago
- Bring colorful and funny Jumoreski into your workspace!☆17Nov 5, 2023Updated 2 years ago
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Feb 10, 2026Updated 4 months ago
- CLI tool for interacting with Fastly CDN services via official REST API.☆13Jul 29, 2020Updated 5 years ago
- Exception handling gem☆14Dec 4, 2012Updated 13 years ago
- Exploring Automatic Differentiation with Racket☆11Jan 9, 2022Updated 4 years ago
- Haskell implementation of the KDL Document Language☆28Dec 15, 2025Updated 6 months ago
- A simple platformer game in Common Lisp. Please see PlatformerTutorial instead.☆11Mar 21, 2024Updated 2 years ago
- A textbook on formal languages and automata, in Russian☆26Feb 24, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Merge a heavily refactored codebase and stay sane.☆24Jun 10, 2026Updated 3 weeks ago
- KEDA External Scaler for Azure Cosmos DB☆12Jun 2, 2026Updated 3 weeks ago
- For great justice, and rapid application development☆13Sep 14, 2025Updated 9 months ago
- SQL-first, type-safe PostgreSQL client code generator☆151Jun 14, 2026Updated 2 weeks ago
- Yet another RPKI validator☆21Updated this week
- An example of how to create a .NET GraphQL server on Azure Functions that talks to CosmosDB☆10Dec 10, 2020Updated 5 years ago
- Interpolate plugin for GHC 8.10.7☆13Apr 15, 2022Updated 4 years ago
- CosmosDB 1 day hackathon☆14May 31, 2023Updated 3 years ago
- ☆26Nov 18, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Fastly API client and configurator☆11Apr 9, 2015Updated 11 years ago
- Lander Analytics Bayes/Stan Class 2021☆10Aug 3, 2021Updated 4 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆10Oct 28, 2023Updated 2 years ago
- Regular Chat Application with multiple chat sessions and multiple users☆16Apr 25, 2023Updated 3 years ago
- Ruby wrapper around the BreweryDb.com API☆23Aug 28, 2013Updated 12 years ago
- Rubygem to talk to the Gaug.es API☆33Nov 20, 2014Updated 11 years ago
- ☆13Jun 10, 2021Updated 5 years ago
- REST Adapter for DataMapper☆40Mar 26, 2013Updated 13 years ago
- An integration of KùzuDB and RDFlib.☆18Nov 15, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An example comparison of various serverless providers using a simple GraphQL server☆20Jul 24, 2020Updated 5 years ago
- Your Hipster ANSI color library.☆65Nov 6, 2023Updated 2 years ago
- ☆13Jan 15, 2026Updated 5 months ago
- A Language a Day☆14Nov 1, 2025Updated 8 months ago
- Copy Neo4j data to Azure Cosmos DB☆13Nov 25, 2021Updated 4 years ago
- Code samples for "A Student's Guide to Python for Physical Modeling"☆19Jul 19, 2021Updated 4 years ago
- ☆14Oct 9, 2022Updated 3 years ago