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:
- biological logic programming toolkit☆28Aug 28, 2016Updated 9 years ago
- OCaml implementation of Fiat-Shamir Zero Knowledge Proof system as a client/server authentication protocol☆12Feb 7, 2017Updated 9 years ago
- Step-by-step game written in Free Oberon☆12May 27, 2018Updated 8 years ago
- Small tensor library a la GLSL☆17Oct 28, 2022Updated 3 years ago
- C++ Project of Panda3D Render Pipeline (Python)☆13Aug 23, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Reason about Bitcoin addresses with Prolog☆24Mar 17, 2024Updated 2 years ago
- A Datalog implementation with an OCaml inspired module system☆43Apr 24, 2026Updated last month
- Blogging/CMS framework for SWI-Prolog.☆23Mar 2, 2023Updated 3 years ago
- Prolog and Java version of Facebook's React concept☆15Mar 23, 2021Updated 5 years ago
- Starter add-on/plugin example to extend LatePoint☆14Oct 6, 2021Updated 4 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
- 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
- Run command as root without password☆12Jul 20, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Syntax highlighting for Ogre Scripts in Atom/ VSCode☆13Dec 10, 2025Updated 6 months ago
- iOS 13 Tweak - Shows upload & download speed in the status bar☆13Apr 17, 2020Updated 6 years ago
- Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)☆34Jul 26, 2020Updated 5 years ago
- ☆11May 28, 2023Updated 3 years ago
- Quickly switch between SMS and iMessage☆14Dec 21, 2015Updated 10 years ago
- A file manager that will modify/delete files By Any Means Necessary™☆12May 3, 2023Updated 3 years ago
- Web app to create TrollApps Sources☆17Jan 20, 2024Updated 2 years ago
- ☆18Apr 17, 2026Updated last month
- A Rust library for concatenating string slices into owned strings.☆15Jul 13, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- UIkit 3 framework as a WP plugin☆12Jan 10, 2026Updated 5 months ago
- Docker base builds of OPAM in various combinations☆34Nov 18, 2017Updated 8 years ago
- A (rudamentary) editing tool for PlayCover's Sources feature☆16Mar 10, 2023Updated 3 years ago
- Cider Theme SDK - Issues & Requests☆11Aug 9, 2024Updated last year
- 开源情报收集 导航及快速跳转的油候脚本☆14Jan 10, 2023Updated 3 years ago
- Maintained to help track, debug, and support analysis of various applications.☆25Aug 23, 2025Updated 9 months ago
- 🗼 The Repository for MacForge 1.0☆16Sep 7, 2023Updated 2 years ago
- my rules for some trifles☆11Jun 3, 2026Updated last week
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 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.
- "convert" debs and dylibs to a zipfile (for use with TrollFools)☆16Oct 9, 2024Updated last year
- Ada Bare Bones OS development tutorial source code☆91Nov 20, 2016Updated 9 years ago
- OCaml and Rust-style exhaustive exception handling for Python.☆34Jan 2, 2026Updated 5 months ago
- Multi-arch Docker images for Idris 2☆13May 25, 2026Updated 2 weeks ago
- Tweak that allows to view profile pictures☆17Feb 15, 2024Updated 2 years ago
- TEA for the shell, in OCaml☆40May 6, 2019Updated 7 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