ltworf / relationalLinks
Educational tool for relational algebra
☆92Updated last year
Alternatives and similar repositories for relational
Users that are interested in relational are comparing it to the libraries listed below
Sorting:
- Programming Language Explorations☆97Updated 3 weeks ago
- P.D. Magnus' forallx logic textbook☆67Updated 6 months ago
- Rel is a desktop database management system that implements Date & Darwen's "Tutorial D" database language.☆104Updated 2 months ago
- Consolidated J language code referenced in my blog Analyze the Data not the Drivel☆39Updated last week
- Exercism exercises in Standard ML.☆28Updated last month
- Tim Button's open textbook on set theory☆39Updated 3 months ago
- Object-Oriented Reengineering Patterns☆36Updated 2 years ago
- Public mirror of https://svn.eiffel.com/eiffelstudio-public/trunk with 12 months delay, see https://github.com/EiffelSoftware/libraries f…☆53Updated 3 months ago
- Learn Prolog Now LaTeX sources☆89Updated 2 years ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 7 years ago
- small MiniZinc examples demonstrating various language features☆125Updated 8 years ago
- Guide elucidating Lambda Calculus☆16Updated 4 years ago
- A new logic programming language.☆175Updated 2 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆27Updated 4 years ago
- Applied Discrete Structures using PreTeXt☆45Updated 2 weeks ago
- J for Android☆35Updated last month
- ☆34Updated 5 years ago
- Tea Time Numerical Analysis☆26Updated 3 years ago
- My reading list☆84Updated 3 years ago
- A teaching aid library for formal languages and compiler courses☆12Updated 4 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 7 months ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆48Updated 2 weeks ago
- High-end Cryptographic Library☆44Updated 5 years ago
- A tutorial for DCG's in swi-Prolog☆34Updated 4 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated 3 weeks ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆129Updated 3 years ago
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆73Updated 5 years ago
- A simple website providing a basic reference manual for getting started with the Eiffel programming language.☆34Updated 2 years ago
- Exercism exercises in Prolog.☆31Updated last month
- A VS Code extension supporting for Picat language☆18Updated 6 years ago