Assets for the book "Logic for Programmers"
☆30Feb 2, 2026Updated 2 months 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:
- Matrix builds for cabal☆17Dec 1, 2025Updated 5 months ago
- ☆11Jun 4, 2021Updated 4 years ago
- Simple Structured logger☆14Jun 8, 2025Updated 10 months ago
- Examples for Mountebank usage explained in the blog☆10Nov 15, 2017Updated 8 years ago
- Open Insights is a framework for constructing browser-based RUM clients.☆13Jan 6, 2023Updated 3 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.
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- A packaged framework for implementing web and API test suites. Builds on Concordion to bring your software delivery team together around …☆14Jul 11, 2021Updated 4 years ago
- Client libraries for the Charter App (available on the Mac App Store)☆21Apr 25, 2012Updated 14 years ago
- ☆16Jan 10, 2025Updated last year
- CLI tool for interacting with Fastly CDN services via official REST API.☆13Jul 29, 2020Updated 5 years ago
- A library for creating wrappers around command-line programs.☆32Oct 6, 2022Updated 3 years ago
- Exception handling gem☆14Dec 4, 2012Updated 13 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- ☆24Updated this week
- 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.
- A simple platformer game in Common Lisp. Please see PlatformerTutorial instead.☆11Mar 21, 2024Updated 2 years ago
- Stream the GHC eventlog and control RTS monitoring over a socket.☆24Apr 23, 2026Updated last week
- KEDA External Scaler for Azure Cosmos DB☆11Updated this week
- SQL-first, type-safe PostgreSQL client code generator☆121Updated this week
- Yet another RPKI validator☆20Apr 14, 2026Updated 2 weeks ago
- Git support for Vlad.☆65Apr 18, 2012Updated 14 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Jan 16, 2026Updated 3 months ago
- An example of how to create a .NET GraphQL server on Azure Functions that talks to CosmosDB☆10Dec 10, 2020Updated 5 years ago
- Collection of VCL code☆33Jul 6, 2014Updated 11 years ago
- 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.
- Generator framework for your own Ruby framework☆74Dec 21, 2015Updated 10 years ago
- Sideline is a desktop application that allows advanced searching and monitoring of the Twitter public timeline. There are two platforms …☆75Apr 14, 2009Updated 17 years ago
- deb for phantomjs☆21Mar 14, 2012Updated 14 years ago
- CosmosDB 1 day hackathon☆14May 31, 2023Updated 2 years ago
- ☆26Nov 18, 2022Updated 3 years ago
- Typescript parser combinator library☆15Jan 9, 2026Updated 3 months ago
- ☆14Feb 2, 2023Updated 3 years ago
- IoT example based on MQTT protocol☆11Jun 3, 2015Updated 10 years ago
- Fastly API client and configurator☆11Apr 9, 2015Updated 11 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.
- GHC plugin for open telemetry☆27Jun 5, 2025Updated 10 months ago
- Lander Analytics Bayes/Stan Class 2021☆10Aug 3, 2021Updated 4 years ago
- This project provides a model-driven engineering workbench for CAEX.☆10Feb 2, 2023Updated 3 years ago
- A tool to help run a custom VS Code version for each project.☆11Feb 11, 2022Updated 4 years ago
- Regular Chat Application with multiple chat sessions and multiple users☆16Apr 25, 2023Updated 3 years ago
- Ruby library for pure SSL/TLS handshake testing. No additional requirements.☆11Nov 8, 2021Updated 4 years ago
- Manually constructed STG programs compiled with the standard GHC codegen backend.☆24Jan 10, 2021Updated 5 years ago