☆15Oct 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
Sorting:
- Repository for the Racket News Website☆11Feb 14, 2025Updated last year
- 📘⌨️ A Racket #lang and module for making cover PDFs for printed things.☆23Nov 24, 2025Updated 3 months ago
- ☆11Oct 25, 2024Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- Kannada Handwriting FONT☆15Jun 9, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Python SDK for IUDX.☆10Apr 29, 2021Updated 4 years ago
- ☆12Sep 24, 2025Updated 5 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- A simulator for visualising the evolution of π-calculus terms☆42Jun 14, 2022Updated 3 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- ☆12Jun 7, 2024Updated last year
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- A GTFS to MATSim converter, maintained by the Berlin team.☆16Nov 21, 2025Updated 3 months ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- The Semiotic Analysis Tool is a comprehensive and sophisticated Python-based application designed to analyze various sign systems within …☆17Dec 20, 2025Updated 2 months ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- ☆19Updated this week
- ☆10Jun 10, 2022Updated 3 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- ☆12Feb 16, 2024Updated 2 years ago
- A Nix flake providing a Datomic Pro package and NixOS module☆19Feb 19, 2026Updated last week
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Import SRFI metadata into the Scheme API☆11Jan 19, 2026Updated last month
- Multi-Aspect Controllable Text Generation with Disentangled Counterfactual Augmentation, ACL 2024 (main)☆13Sep 23, 2024Updated last year
- ☆12May 9, 2015Updated 10 years ago
- Basic Unicode support for Lean 4☆15Updated this week
- Mirror of Apache Kafka without ZooKeeper dependency☆11Feb 4, 2019Updated 7 years ago
- DCR-Consistency: Divide-Conquer-Reasoning for Consistency Evaluation and Improvement of Large Language Models☆25May 23, 2024Updated last year
- Tools for generating to and from wit format☆12Sep 6, 2024Updated last year
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago