Educational tool for relational algebra
☆89May 9, 2024Updated 2 years ago
Alternatives and similar repositories for relational
Users that are interested in relational are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Updated this week
- 2D game written in C++ & Qt for PC and android☆15Mar 7, 2023Updated 3 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12May 12, 2020Updated 6 years ago
- A book about compiling Racket to x86-64 assembly☆21Nov 13, 2017Updated 8 years ago
- blast math☆11Oct 11, 2025Updated 10 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.
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Oct 15, 2024Updated last year
- digital filters applet☆13May 4, 2021Updated 5 years ago
- Lean4 Code Editor☆18Aug 18, 2026Updated last week
- Red Black Tree in Elixir☆18Apr 16, 2023Updated 3 years ago
- Simple implementation of SHA1 in C☆12Apr 26, 2017Updated 9 years ago
- Modeling and Programming with Gecode☆50Jul 15, 2026Updated last month
- Extra themes for IceWM (too large to include in IceWM distribution).☆21Sep 10, 2019Updated 6 years ago
- An attempt at writing C libraries in Rust that can be called from Idris☆22Nov 12, 2015Updated 10 years ago
- Manga reader written with Qt.☆13Updated this week
- 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.
- ☆25Mar 26, 2026Updated 5 months ago
- KBang is an open source implementation of the popular card game Bang!. It is developed in C++ with Qt library.☆10Apr 14, 2021Updated 5 years ago
- Qt (C++/QML) Version of the classic game Battle City (1985)☆13Dec 10, 2015Updated 10 years ago
- Página oficial do Pylestras☆15Mar 29, 2023Updated 3 years ago
- A basic repository for a Clang-based tool, with CMake integration.☆10Sep 22, 2023Updated 2 years ago
- Fuzzy Data Benchmark☆18Updated this week
- Automated Testing Tool for Graph-processing Systems.☆12Jul 31, 2026Updated 3 weeks ago
- Emacs configuration☆23Mar 25, 2020Updated 6 years ago
- Data-Oriented Differential Testing of ORM Systems.☆15Jan 22, 2021Updated 5 years 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.
- A collections of small nifty demos/sample code that may help better layout data or structure project☆10Nov 25, 2019Updated 6 years ago
- Repository for qTox nightly builds☆11May 4, 2021Updated 5 years ago
- ☆22Dec 17, 2021Updated 4 years ago
- FusionDB Server☆24Jun 6, 2019Updated 7 years ago
- Scaling Automated Database System Testing. ASPLOS'26☆17Updated this week
- ☆24Feb 18, 2025Updated last year
- Datalog Engines OPtimization Tester.☆13Jan 18, 2024Updated 2 years ago
- A tool for testing SMT solvers for incompleteness bugs☆17Oct 12, 2022Updated 3 years ago
- DEPRECATED eXist code for Syriaca.org: The Syriac Reference Portal☆10Jul 21, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- This is the main repository for the Viper IDE extension for VS Code.☆14Updated this week
- My Arch Linux setup for a lean, secure, command-line driven development environment with modular configuration management using shell scr…☆10Jan 22, 2023Updated 3 years ago
- This repo contains all the code, slides and other reference documents used in community sessions.☆14Mar 29, 2023Updated 3 years ago
- The Stardog Whisperer: TypeScript/JS parsers for Stardog languages☆16Apr 6, 2026Updated 4 months ago
- Fast Multiple Independent Random Number Sequences Generation on FPGAs☆15Sep 19, 2021Updated 4 years ago
- An MSK modem in C++ Qt☆25May 12, 2018Updated 8 years ago
- ☆14Dec 19, 2021Updated 4 years ago