Assets for the book "Logic for Programmers"
☆25Feb 2, 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
Sorting:
- Lightweight CLI note tracker in Golang with SQLite. A changelog for your mind all within the terminal!☆11Jan 16, 2025Updated last year
- ☆29Dec 11, 2025Updated 2 months ago
- Session demos for Build AI Apps at Fabric Conference 2024☆10Jul 3, 2024Updated last year
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Updated this week
- EmotionCircuits-LLM: A complete, reproducible framework for discovering and controlling emotion circuits in large language models.☆25Oct 20, 2025Updated 4 months ago
- Direct transcription of an optimal control problem and resolution☆12Updated this week
- A block-based programming environment for Arduino.☆16Jan 12, 2026Updated last month
- Code related to the Low Level C# course.☆12Nov 16, 2022Updated 3 years ago
- ☆15Sep 7, 2025Updated 5 months ago
- Method of sizing on-prem Oracle databases in Azure according to actual usage information from Oracle AWR☆10Oct 17, 2025Updated 4 months ago
- A companion application to use SiYuan note as a knowledge base with OpenAI APIs☆15Sep 26, 2025Updated 5 months ago
- Next-Gen Builder☆20May 6, 2024Updated last year
- Processing 100 天速写☆13Feb 7, 2025Updated last year
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- ☆10Dec 8, 2024Updated last year
- A python plugin integrated into Carla Simulator for emulate cyber-attack over the CAN-Bus (https://carla.org/)☆15Apr 26, 2021Updated 4 years ago
- implement patterns in Go language☆11Aug 3, 2020Updated 5 years ago
- A package to set up, run, and store simulation campaigns in PhysiCell.☆13Feb 20, 2026Updated last week
- cwf is a small tool to quickly share content (e.g. logfiles, commands, ...) with your friends and colleagues.☆11Jul 30, 2025Updated 7 months ago
- Ruby library for pure SSL/TLS handshake testing. No additional requirements.☆11Nov 8, 2021Updated 4 years ago
- A repository with data about APTs☆13Nov 24, 2022Updated 3 years ago
- Python AI development environment☆19Jul 17, 2025Updated 7 months ago
- Relational Features for Planning☆14Feb 18, 2026Updated last week
- ngrok API client library for Ruby☆12Jan 23, 2026Updated last month
- A library of replicated state machine algorithms is based on Viewstamped Replication Revisited☆14Feb 6, 2021Updated 5 years ago
- Public code release for the paper "Reawakening knowledge: Anticipatory recovery from catastrophic interference via structured training"☆11Oct 27, 2025Updated 4 months ago
- Transform messy HTML from Google Docs into well-structured HTML!☆14Jul 10, 2025Updated 7 months ago
- Infrastructure setup.☆10Jul 27, 2019Updated 6 years ago
- The Modern Web App Pattern is a set of objectives to help you apply an iterative change to modernize a cloud deployed monolith. This cont…☆18Oct 28, 2025Updated 4 months ago
- Promise based Fastly API client for Node.js☆16Updated this week
- Permutation library in Ruby☆29Jun 20, 2013Updated 12 years ago
- Analyzes whole genome sequencing data for gene-editing verification☆10Feb 6, 2026Updated 3 weeks ago
- Driver for coupled AMR-Wind/Nalu-Wind simulations☆13Nov 10, 2025Updated 3 months ago
- mpeg2 ts ps muxer/demuxer, H264/H265/MPEG1 AUDIO/MP3/AAC/AAC_LATM/G711.☆13Feb 4, 2026Updated 3 weeks ago
- ☆14Dec 2, 2021Updated 4 years ago
- Limitless Analytics with Azure Synapse, published by Packt☆13Feb 5, 2026Updated 3 weeks ago
- HVD - Hardware Video Decoder C library☆13May 28, 2025Updated 9 months ago
- Extract Procedural Details of the TTP based on the actor mentioned in OSINT reportings☆13Feb 25, 2024Updated 2 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆10Oct 28, 2023Updated 2 years ago