Declarative algorithms for simple operations on relational schemas and functional dependency sets (e.g. minimal cover, highest normal form)
☆24Dec 11, 2021Updated 4 years ago
Alternatives and similar repositories for Functional-Dependency-Calculator
Users that are interested in Functional-Dependency-Calculator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Step-by-step game written in Free Oberon☆12May 27, 2018Updated 7 years ago
- JSON Parser for Prolog☆16Apr 7, 2018Updated 8 years ago
- GNAT-AUX / GCC-AUX / Draco Ada compiler development☆18Apr 1, 2026Updated last week
- DEPRECATED: Abstraction over Stdlib, Lwt, and Async.☆26Jun 5, 2017Updated 8 years ago
- Configurable Cloudy Batch Scheduler☆16Sep 27, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Crazy Simple Unit Testing in Prolog☆16Apr 7, 2018Updated 8 years ago
- Reason about Bitcoin addresses with Prolog☆23Mar 17, 2024Updated 2 years ago
- Blogging/CMS framework for SWI-Prolog.☆23Mar 2, 2023Updated 3 years ago
- Dhall-configured inductive API definitions☆23Feb 26, 2020Updated 6 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- Starter add-on/plugin example to extend LatePoint☆13Oct 6, 2021Updated 4 years ago
- A basic snake game with js_of_ocaml.☆12Oct 11, 2017Updated 8 years ago
- macOS workflow and shell script to download files from public mega.nz shares using the megatools☆13Feb 21, 2017Updated 9 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Jan 25, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A modded version of the iPhone Dev Team's PwnageTool v2.2.5 with support for iPhone OS 2.0 and an updated Cydia bundle.☆11Feb 16, 2021Updated 5 years ago
- Syntax highlighting for Ogre Scripts in Atom/ VSCode☆13Dec 10, 2025Updated 4 months ago
- Run command as root without password☆12Jul 20, 2022Updated 3 years ago
- Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)☆33Jul 26, 2020Updated 5 years ago
- ☆11May 28, 2023Updated 2 years ago
- A collection of pure Tcl, production-ready micro packages☆31Jun 6, 2018Updated 7 years ago
- Suite of generic Linked Data/SPARQL as well as LinkedDataHub-specific MCP tools☆42Feb 23, 2026Updated last month
- A file manager that will modify/delete files By Any Means Necessary™☆12May 3, 2023Updated 2 years ago
- Web app to create TrollApps Sources☆17Jan 20, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Docker base builds of OPAM in various combinations☆33Nov 18, 2017Updated 8 years ago
- Automatically rescue a Windows 10 or 11 installation affected by the 19 July 2024 CrowdStrike Falcon crash☆10Jul 22, 2024Updated last year
- ☆12Nov 8, 2018Updated 7 years ago
- 🐵 Userscipts for Firefox and Chrome☆22Feb 9, 2026Updated 2 months ago
- A (rudamentary) editing tool for PlayCover's Sources feature☆16Mar 10, 2023Updated 3 years ago
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated 3 months ago
- Cider Theme SDK - Issues & Requests☆11Aug 9, 2024Updated last year
- Maintained to help track, debug, and support analysis of various applications.☆25Aug 23, 2025Updated 7 months ago
- my rules for some trifles☆11Updated this week
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- 🗼 The Repository for MacForge 1.0☆16Sep 7, 2023Updated 2 years ago
- "convert" debs and dylibs to a zipfile (for use with TrollFools)☆14Oct 9, 2024Updated last year
- Multi-arch Docker images for Idris 2☆13Mar 30, 2026Updated last week
- Tweak that allows to view profile pictures☆17Feb 15, 2024Updated 2 years ago
- Let's you connect your laptop to the iPhone to surf the web and to use ssh (for ssh usage, see iProxySetup preferences).☆25Mar 22, 2012Updated 14 years ago
- Proposed Standard for AI.txt☆19May 19, 2023Updated 2 years ago
- This repo contains the source code for https://pest.rs☆13Mar 12, 2026Updated 3 weeks ago