☆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
- ☆20Jun 12, 2026Updated 3 months ago
- Repository for the Racket News Website☆11Feb 14, 2025Updated last year
- A collaborative environment for formal, interoperable, conceptual modeling☆198Updated this week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆43Jun 13, 2026Updated 3 months 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.
- ACSets: Algebraic databases as in-memory data structures☆36Jul 13, 2026Updated 2 months ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 7 months ago
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆24Aug 15, 2026Updated last month
- 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 7 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 4 months ago
- ☆20Apr 19, 2026Updated 5 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- My notes and solutions to exercises for EoPL3.☆15May 1, 2026Updated 4 months ago
- Specification for the ssb protocol☆14Aug 14, 2021Updated 5 years ago
- 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 month
- Add a decorator for dspy Signatures that automatically uses TypeSafe where relevant☆60Updated this week
- ⏺✍️ Write in Markdown+Racket, publish to multiple formats☆50Sep 7, 2026Updated last week
- 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.☆20Aug 31, 2026Updated 2 weeks ago
- GPU-native Julia package for particle-based simulations with CUDA, including integrations for MACE and Orb machine-learned interatomic po…☆21Updated this week
- 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.
- Relational Algebra, now with more algebra!☆56May 17, 2026Updated 4 months 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
- ☆26May 21, 2026Updated 3 months ago
- Neovim plugin for forester☆20Nov 18, 2024Updated last year
- ☆14May 6, 2024Updated 2 years ago
- 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
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- The Oberon+ Programming Language☆19Jan 29, 2024Updated 2 years ago
- The code for the tutorial of the GrahpEdit and GraphNode nodes.☆16Mar 10, 2019Updated 7 years ago
- A simulator for visualising the evolution of π-calculus terms☆46Jun 14, 2022Updated 4 years ago
- Basic Typescript Dependency Injection with Decorators☆14Aug 14, 2015Updated 11 years ago
- An life goals tracking app made with Flutter.☆12Apr 3, 2018Updated 8 years ago
- A script to convert eml files from various email export systems into an mbox file to be imported inside Thunderbird Apple Mail etc.☆13Jan 17, 2022Updated 4 years ago
- ☆11Jul 26, 2023Updated 3 years ago