☆18Oct 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 2 months ago
- Repository for the Racket News Website☆11Feb 14, 2025Updated last year
- A collaborative environment for formal, interoperable, conceptual modeling☆187Updated this week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆43Jun 13, 2026Updated 2 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ACSets: Algebraic databases as in-memory data structures☆36Jul 13, 2026Updated last month
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 6 months ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆24Aug 15, 2026Updated 2 weeks ago
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Jun 27, 2025Updated last year
- Implementation of refactoring for cuis☆12Updated this week
- TkS*LIDE - Tk/TCL based Snobol4/Spitbol IDE☆13Feb 19, 2026Updated 6 months ago
- Accompanying materials for "A Core Calculus for Documents"☆40Oct 5, 2023Updated 2 years ago
- Small shell script to install and update Gauche Scheme easily☆17May 6, 2026Updated 3 months ago
- Specification for the ssb protocol☆14Aug 14, 2021Updated 5 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.
- Batch conversion of TTF/OTF fonts to Postscript Type1 files for easy usage with the Lout typesetting system ⚠️ This repo has moved to htt…☆14Aug 17, 2026Updated last week
- ⏺✍️ Write in Markdown+Racket, publish to multiple formats☆50Apr 2, 2026Updated 4 months ago
- Repository for (for now) filing bug reports about PLAI.☆17Jul 5, 2025Updated last year
- Julia code for part 2 of the book Causal Inference: What If, by Miguel Hernán and James Robins☆57Jan 8, 2022Updated 4 years ago
- Lucene with git-like semantics and Clojure integration.☆19Updated this week
- GPU-native Julia package for particle-based simulations with CUDA, including integrations for MACE and Orb machine-learned interatomic po…☆21Aug 3, 2026Updated 3 weeks ago
- cadCAD implementation in Julia☆17Dec 13, 2024Updated last year
- A web-based application for collaborating on simulation models in real-time using Firebase☆39Nov 4, 2024Updated last year
- ☆25May 21, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Neovim plugin for forester☆20Nov 18, 2024Updated last year
- WIP: Reference implementation, CLI and lib for Ethereum Signed Packages☆18Jan 6, 2023Updated 3 years ago
- 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 demo app running js-libp2p in a React Native app☆11Jun 5, 2025Updated last year
- ☆12Oct 31, 2021Updated 4 years ago
- A simulator for visualising the evolution of π-calculus terms☆46Jun 14, 2022Updated 4 years ago
- ☆11Jul 26, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 3-dimensional picts☆40Jan 16, 2025Updated last year
- Simplicial Sets and the Discrete Exterior Calculus☆45Updated this week
- The GRAphical Scheme Programming Environment☆50Updated this week
- Repository for (for now) filing bug reports about DCIC.☆30Aug 21, 2025Updated last year
- CHR: Leuven Constraint Handling Rules☆27Updated this week
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆13Mar 26, 2022Updated 4 years ago
- Simple timetabling engine for schools☆30Jul 12, 2024Updated 2 years ago