ltworf / relational
Educational tool for relational algebra
☆91Updated last year
Alternatives and similar repositories for relational
Users that are interested in relational are comparing it to the libraries listed below
Sorting:
- Automatically exported from code.google.com/p/full-maude☆16Updated last year
- 99 Problems in OCaml☆22Updated 9 years ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 7 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Tim Button's open textbook on set theory☆34Updated last year
- Object-Oriented Reengineering Patterns☆36Updated last year
- A list of books about mathematical subjects, using array languages like APL and J for their presentation.☆12Updated last year
- Guide elucidating Lambda Calculus☆16Updated 3 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 months ago
- Tea Time Numerical Analysis☆26Updated 2 years ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- Mirror of the official xournal repository☆25Updated 2 years ago
- P.D. Magnus' forallx logic textbook☆66Updated last month
- Riemann Hypothesis book☆74Updated 7 years ago
- ☆42Updated 9 years ago
- ☆52Updated 8 years ago
- A teaching aid library for formal languages and compiler courses☆12Updated this week
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- Mathematical Components (the Book)☆141Updated last year
- The dependently & gradually typed Sage programming language☆9Updated 11 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆27Updated 3 years ago
- Course materials for a Prolog course☆12Updated 9 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆146Updated 4 months ago
- Jupyter notebooks for Dyalog APL☆42Updated 11 months ago
- Applied Discrete Structures using PreTeXt☆44Updated last week
- Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.☆100Updated last year
- Book lucid interpreter written in python☆24Updated 5 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A catalog of code worth reading☆113Updated 7 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 2 months ago