Assets for the book "Logic for Programmers"
☆40May 28, 2026Updated last week
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☆16May 4, 2026Updated last month
- ☆11Jun 4, 2021Updated 5 years ago
- Specula: A framework for finding deep bugs in system code using TLA+☆175Updated this week
- Examples for Mountebank usage explained in the blog☆10Nov 15, 2017Updated 8 years ago
- Some experiments in making exercises for teaching TLA+☆20May 7, 2025Updated last year
- 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.
- GHC plugin for automatic case splitting☆19May 13, 2026Updated 3 weeks ago
- Session demos for Build AI Apps at Fabric Conference 2024☆10Jul 3, 2024Updated last year
- Code related to the Low Level C# course.☆12Nov 16, 2022Updated 3 years ago
- Exploring Automatic Differentiation with Racket☆11Jan 9, 2022Updated 4 years ago
- ☆24May 27, 2026Updated 2 weeks ago
- BIGdiff☆11Mar 4, 2024Updated 2 years ago
- Original writings and quirky thoughts by me. People might like reading this once I become world famous for something. The best of this co…☆21Jan 27, 2021Updated 5 years ago
- Automates, via PowerShell, the process of executing SpecFlow features via specflow.exe to produce a html report that can be shown in Team…☆19Oct 8, 2013Updated 12 years ago
- Tutorial: Data Validation for Machine Learning Techniques☆11May 5, 2023Updated 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.
- A simple platformer game in Common Lisp. Please see PlatformerTutorial instead.☆11Mar 21, 2024Updated 2 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆135Dec 20, 2024Updated last year
- Stream the GHC eventlog and control RTS monitoring over a socket.☆24Updated this week
- A textbook on formal languages and automata, in Russian☆26Feb 24, 2020Updated 6 years ago
- KEDA External Scaler for Azure Cosmos DB☆12Jun 2, 2026Updated last week
- SQL-first, type-safe PostgreSQL client code generator☆148May 27, 2026Updated 2 weeks ago
- Install Eclipse Temurin™ build of OpenJDK☆18May 30, 2026Updated last week
- Trixter Proxy + tokio-netem: chaos engineering tools for Rust networking☆125Oct 11, 2025Updated 7 months ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆25May 7, 2026Updated last month
- 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 of how to create a .NET GraphQL server on Azure Functions that talks to CosmosDB☆10Dec 10, 2020Updated 5 years ago
- CosmosDB 1 day hackathon☆14May 31, 2023Updated 3 years ago
- ☆26Nov 18, 2022Updated 3 years ago
- A library to bridge Swagger API specifications and the Mountebank Test-Double tool☆17Mar 30, 2023Updated 3 years ago
- Typescript parser combinator library☆15Jan 9, 2026Updated 5 months ago
- This is a project to learn how to implement instruction dispatch in Rust.☆26Jun 28, 2024Updated last year
- GHC plugin for open telemetry☆27Jun 5, 2025Updated last year
- Various bioinformatics tools☆20Oct 29, 2024Updated last year
- Lander Analytics Bayes/Stan Class 2021☆10Aug 3, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- Manually constructed STG programs compiled with the standard GHC codegen backend.☆24Jan 10, 2021Updated 5 years ago
- Network Management Protocols for Mountebank☆13Oct 13, 2025Updated 7 months ago
- ☆13Jun 10, 2021Updated 5 years ago
- ☆12Dec 8, 2022Updated 3 years ago
- An integration of KùzuDB and RDFlib.☆18Nov 15, 2024Updated last year