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
Sorting:
- An efficient graph solver for generating well-formed models☆25Apr 1, 2022Updated 3 years ago
- MSc Thesis: Graph-Based Source Code Analysis of JavaScript Repositories☆11Dec 8, 2016Updated 9 years ago
- 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 7 years ago
- JSON Parser for Prolog☆16Apr 7, 2018Updated 7 years ago
- ☆12Jul 10, 2020Updated 5 years ago
- GNAT-AUX / GCC-AUX / Draco Ada compiler development☆18Feb 24, 2026Updated 3 weeks ago
- OCaml@p : OCamlにおけるデバッグ出力機構 / A debugging printer for OCaml☆10Feb 17, 2017Updated 9 years ago
- Incremental view maintenance for openCypher graph queries.☆48Mar 18, 2019Updated 7 years ago
- Linearizability Visualizer☆10Jan 24, 2015Updated 11 years ago
- This platform enables parents, care takers or volunteers to collaboratively measure their child's progress against development models, tr…☆16Jan 4, 2016Updated 10 years ago
- Reason about Bitcoin addresses with Prolog☆23Mar 17, 2024Updated 2 years ago
- A Datalog implementation with an OCaml inspired module system☆42Updated this week
- Blogging/CMS framework for SWI-Prolog.☆23Mar 2, 2023Updated 3 years ago
- Sample application for the ZeroKit SDK for Android☆12Jun 19, 2018Updated 7 years ago
- Simple, easily customizable and powerful database load testing tool. Provides real-time in-browser aggregate stats. Supports MySQL, Postg…☆12Jan 10, 2025Updated last year
- A logic game based on the clips rule engine☆14Sep 24, 2025Updated 5 months ago
- ☆14Jan 12, 2018Updated 8 years ago
- DuckDB NIF for Erlang☆31Jan 9, 2026Updated 2 months ago
- Source code of our implementation of the concurrent RMA☆12May 23, 2019Updated 6 years ago
- Prolog and Java version of Facebook's React concept☆15Mar 23, 2021Updated 4 years ago
- Grunt plugin for rollup - next-generation ES6 module bundler☆21Feb 11, 2023Updated 3 years ago
- ☆11Apr 24, 2018Updated 7 years ago
- ☆10Jan 7, 2019Updated 7 years ago
- TorcDB: A Low-Latency Graph Database on RAMCloud☆19Apr 27, 2019Updated 6 years ago
- Unity3D implementation of the Ninja Rope in Worms Armaggedon☆23Nov 25, 2015Updated 10 years ago
- macOS workflow and shell script to download files from public mega.nz shares using the megatools☆13Feb 21, 2017Updated 9 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Jan 26, 2022Updated 4 years ago
- The ZeroKit SDK for Android.☆24Jun 19, 2018Updated 7 years ago
- Loads LDBC social graph data into Flink DataSets☆10Sep 25, 2024Updated last year
- Multiparty Session Types in OCaml☆59Nov 1, 2024Updated last year
- iOS 13 Tweak - Shows upload & download speed in the status bar☆12Apr 17, 2020Updated 5 years ago
- Clear app caches from the Usage pane of the Settings app☆13Apr 12, 2020Updated 5 years ago
- Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)☆32Jul 26, 2020Updated 5 years ago
- pagerank movie references☆17Dec 15, 2010Updated 15 years ago
- ☆11May 28, 2023Updated 2 years ago
- A benchmark for Solid to simulate vaults with social network data.☆11Aug 29, 2025Updated 6 months ago
- ☆16Jun 19, 2021Updated 4 years ago