Assets for the book "Logic for Programmers"
☆27Feb 2, 2026Updated last month
Alternatives and similar repositories for book-assets
Users that are interested in book-assets are comparing it to the libraries listed below
Sorting:
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- Session demos for Build AI Apps at Fabric Conference 2024☆10Jul 3, 2024Updated last year
- A simple platformer game in Common Lisp. Please see PlatformerTutorial instead.☆11Mar 21, 2024Updated 2 years ago
- KEDA External Scaler for Azure Cosmos DB☆11Mar 14, 2026Updated last week
- CosmosDB 1 day hackathon☆14May 31, 2023Updated 2 years ago
- Typescript parser combinator library☆15Jan 9, 2026Updated 2 months ago
- ☆14Feb 2, 2023Updated 3 years ago
- Lander Analytics Bayes/Stan Class 2021☆10Aug 3, 2021Updated 4 years ago
- An example comparison of various serverless providers using a simple GraphQL server☆20Jul 24, 2020Updated 5 years ago
- An implementation of Vector Clock in Java☆11Jun 27, 2025Updated 8 months ago
- ☆12Jan 15, 2026Updated 2 months ago
- Data-flow Analysis Visualizer☆10Dec 9, 2021Updated 4 years ago
- Semantic Ranking Solution for Azure Database for PostgreSQL☆14Apr 29, 2025Updated 10 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"☆16Jul 19, 2021Updated 4 years ago
- ☆14Oct 9, 2022Updated 3 years ago
- Azure Cosmos samples to leverage Bulk capabilities for Graph API accounts☆12Jul 26, 2022Updated 3 years ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 8 months ago
- Experiment tuning Azure Functions' Event Hub host.json settings for high-volume streaming scenarios☆12Jan 8, 2019Updated 7 years ago
- This sample shows how to use Azure Private Endpoints and NAT Gateway from an Azure Functions app deployed to an Azure Functions Premium P…☆17Feb 18, 2021Updated 5 years ago
- VectorDB library using dispersion models. Provides graph analysis, vector search and a energy-distribution stats for your vectors in one …☆33Mar 2, 2026Updated 2 weeks ago
- tasks from university courses☆51Jan 7, 2016Updated 10 years ago
- This is the companion repo for Azure Pipelines Succinctly by Antonio Liccardi. Published by Syncfusion.☆11May 11, 2021Updated 4 years ago
- Code samples for C# Features Succinctly by Dirk Strauss☆13Feb 18, 2021Updated 5 years ago
- data sets and other files used in Statistics Playbook☆15Feb 11, 2024Updated 2 years ago
- Method of sizing on-prem Oracle databases in Azure according to actual usage information from Oracle AWR☆10Oct 17, 2025Updated 5 months ago
- ☆30Dec 11, 2025Updated 3 months ago
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week
- Jepsen tests for local filesystems, running on a single node.☆16Aug 15, 2022Updated 3 years ago
- Safari Live Training - Web Service Interaction with Python httpx☆18Feb 24, 2024Updated 2 years ago
- Sample application describing a Bill of Materials scenario through an NPM (Node package manager) dependency explorer solution. Code by Ch…☆16May 6, 2023Updated 2 years ago
- ☆11Jun 12, 2023Updated 2 years ago
- ☆11Dec 17, 2018Updated 7 years ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Sep 3, 2023Updated 2 years ago
- The Tangled Genealogy of IoT Malware☆12Jan 5, 2021Updated 5 years ago
- Cosmos DB content for OnDotNet on Channel9☆16Mar 5, 2020Updated 6 years ago
- A python plugin integrated into Carla Simulator for emulate cyber-attack over the CAN-Bus (https://carla.org/)☆15Apr 26, 2021Updated 4 years ago
- This repository contains the database migration assistant Jupyter Notebook to be used while planning migration to Cosmos DB API for Mongo…☆14Sep 26, 2024Updated last year
- Material for ICFP 2020 tutorial on functional software architecture☆17Sep 4, 2020Updated 5 years ago