☆18Oct 9, 2024Updated 2 years ago
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 4 months ago
- Repository for the Racket News Website☆11Feb 14, 2025Updated last year
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆24Aug 15, 2026Updated 2 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆43Jun 13, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A collaborative environment for formal, interoperable, conceptual modeling☆203Updated this week
- An English translation of Deligne's three "Hodge theory" papers☆15Sep 21, 2026Updated last month
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Jun 27, 2025Updated last year
- A reimplementation of Yjs/Yrs CRDT library with persistent storage in mind☆16Aug 16, 2026Updated 2 months ago
- Framework and scripts that build the website from content files in github.com/Raku/doc☆11Oct 22, 2026Updated last week
- TkS*LIDE - Tk/TCL based Snobol4/Spitbol IDE☆13Feb 19, 2026Updated 8 months ago
- An Obsidian plugin providing dynamically scoped tree views of multidimensional semantic and logcal archictectures of your vault.☆30Jan 25, 2025Updated last year
- ☆20Apr 19, 2026Updated 6 months ago
- Implementation of refactoring for cuis☆12Sep 29, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Small shell script to install and update Gauche Scheme easily☆17May 6, 2026Updated 5 months ago
- Firequark is an extension to Firebug to aid the process of HTML Screen Scraping. Firequark automatically extracts css selector for a sing…☆13Jan 17, 2010Updated 16 years ago
- Repository for (for now) filing bug reports about PLAI.☆17Jul 5, 2025Updated last year
- My notes and solutions to exercises for EoPL3.☆15May 1, 2026Updated 5 months ago
- Accompanying materials for "A Core Calculus for Documents"☆40Oct 5, 2023Updated 3 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 2 months ago
- A curated list of Lean 4 libraries, tools, frameworks and learning resources for programmers☆14Oct 21, 2026Updated last week
- ⏺✍️ Write in Markdown+Racket, publish to multiple formats☆49Oct 23, 2026Updated last week
- Lucene with git-like semantics and Clojure integration.☆20Aug 31, 2026Updated last month
- 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 beautiful diagnostics renderer for compiler errors and warnings☆23Dec 18, 2025Updated 10 months ago
- Relational Algebra, now with more algebra!☆56May 17, 2026Updated 5 months ago
- GPU-native Julia package for particle-based simulations with CUDA, including integrations for MACE and Orb machine-learned interatomic po…☆24Updated this week
- Julia code for part 2 of the book Causal Inference: What If, by Miguel Hernán and James Robins☆60Jan 8, 2022Updated 4 years ago
- A visual editor for Pandoc AST documents.☆20Updated this week
- A web-based application for collaborating on simulation models in real-time using Firebase☆39Nov 4, 2024Updated last year
- Electron App Manager provides fast, secure, minimal and continuous updates + version and dependency management☆20Jun 25, 2023Updated 3 years ago
- A server for the forester tool☆19Dec 10, 2024Updated last year
- Racket Stories is a "submit and vote" web site. This repo serves as an example of a small "in production" web-site written in Racket.☆51Apr 9, 2025Updated 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.
- Neovim plugin for forester☆21Nov 18, 2024Updated last year
- cadCAD implementation in Julia☆17Dec 13, 2024Updated last year
- ☆27May 21, 2026Updated 5 months ago
- 👟 Jade Service Runner☆16Aug 2, 2021Updated 5 years ago
- Tools for improving cadCAD experience☆11Dec 22, 2023Updated 2 years ago
- NoSQL embedded document store for Rust☆19Updated this week
- The Oberon+ Programming Language☆19Jan 29, 2024Updated 2 years ago