☆17Oct 9, 2024Updated last year
Alternatives and similar repositories for RelationalThinking-Book
Users that are interested in RelationalThinking-Book are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Structured decompositions!☆15Mar 26, 2025Updated last year
- ☆19Jun 12, 2026Updated last month
- Repository for the Racket News Website☆11Feb 14, 2025Updated last year
- A collaborative environment for formal, interoperable, conceptual modeling☆183Updated this week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆41Jun 13, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ACSets: Algebraic databases as in-memory data structures☆33Jul 13, 2026Updated last week
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 5 months ago
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Jun 27, 2025Updated last year
- An Obsidian plugin providing dynamically scoped tree views of multidimensional semantic and logcal archictectures of your vault.☆30Jan 25, 2025Updated last year
- Implementation of refactoring for cuis☆12Jun 26, 2026Updated 3 weeks ago
- TkS*LIDE - Tk/TCL based Snobol4/Spitbol IDE☆13Feb 19, 2026Updated 5 months ago
- Accompanying materials for "A Core Calculus for Documents"☆39Oct 5, 2023Updated 2 years ago
- ☆20Apr 19, 2026Updated 3 months ago
- Tools for generating to and from wit format☆12Sep 6, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Batch conversion of TTF/OTF fonts to Postscript Type1 files for easy usage with the Lout typesetting system☆14Feb 7, 2022Updated 4 years ago
- ⏺✍️ Write in Markdown+Racket, publish to multiple formats☆50Apr 2, 2026Updated 3 months ago
- Repository for (for now) filing bug reports about PLAI.☆16Jul 5, 2025Updated last year
- Julia code for part 2 of the book Causal Inference: What If, by Miguel Hernán and James Robins☆56Jan 8, 2022Updated 4 years ago
- ☆20Updated this week
- Relational Algebra, now with more algebra!☆56May 17, 2026Updated 2 months ago
- A web-based application for collaborating on simulation models in real-time using Firebase☆39Nov 4, 2024Updated last year
- ☆23May 21, 2026Updated 2 months ago
- Neovim plugin for forester☆20Nov 18, 2024Updated last year
- 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.
- A server for the forester tool☆19Dec 10, 2024Updated last year
- Tools for improving cadCAD experience☆11Dec 22, 2023Updated 2 years ago
- The Oberon+ Programming Language☆19Jan 29, 2024Updated 2 years ago
- A simulator for visualising the evolution of π-calculus terms☆45Jun 14, 2022Updated 4 years ago
- ☆11Jul 26, 2023Updated 2 years ago
- The Morph Book vol. I - Designing Graphical User Interfaces☆22Apr 29, 2026Updated 2 months ago
- Simplicial Sets and the Discrete Exterior Calculus☆45Updated this week
- A type-safe, deeply-embedded SQL query DSL for Lean 4☆17Updated this week
- Repository for (for now) filing bug reports about DCIC.☆30Aug 21, 2025Updated 11 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- CHR: Leuven Constraint Handling Rules☆27Updated this week
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆12Mar 26, 2022Updated 4 years ago
- An R package for interfacing with a WebAPI instance☆10Jul 2, 2026Updated 2 weeks ago
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆13Oct 30, 2023Updated 2 years ago
- vi like repl bindings for julia-repl☆14May 14, 2023Updated 3 years ago
- A minimum Luxor backended graph visualization package.☆10Aug 15, 2024Updated last year
- Julia-themed Quarto.☆11Jul 10, 2024Updated 2 years ago