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
- Laboranyagok☆10Feb 4, 2021Updated 5 years ago
- MSc Thesis: Graph-Based Source Code Analysis of JavaScript Repositories☆11Dec 8, 2016Updated 9 years ago
- Model-based Demonstrator for Smart and Safe Systems☆16Aug 11, 2019Updated 6 years ago
- Refinery: an efficient graph solver for generating well-formed models☆20Feb 12, 2026Updated 2 weeks ago
- Lab materials for the Software and Systems Verification (VIMIMA01) course☆30Oct 25, 2022Updated 3 years ago
- DuckDB NIF for Erlang☆30Jan 9, 2026Updated last month
- The set of released emails of Jeffrey Epstein processed into an Obsidian Vault using the Obsidian Importer plugin an Claude Code.☆25Nov 15, 2025Updated 3 months ago
- KCP - A Fast and Reliable ARQ Protocol A KCP implementation in Erlang☆10Mar 15, 2019Updated 6 years ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆32Feb 20, 2026Updated last week
- Simple, easily customizable and powerful database load testing tool. Provides real-time in-browser aggregate stats. Supports MySQL, Postg…☆13Jan 10, 2025Updated last year
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- Multi-arch Docker images for Idris 2☆13Feb 9, 2026Updated 3 weeks ago
- Loads LDBC social graph data into Flink DataSets☆10Sep 25, 2024Updated last year
- ☆10Jan 7, 2019Updated 7 years ago
- A self-serve automated SSH CA implemented as an SSH forced command☆13Sep 21, 2018Updated 7 years ago
- uTP implementation in Erlang☆22Jun 9, 2012Updated 13 years ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- mod_asn, an Apache module to look up routing data.☆12Feb 23, 2017Updated 9 years ago
- Erlang library for encoding and decoding Packet Forwarding Control Protocol (PFCP) frames.☆13Jun 24, 2024Updated last year
- CBench, Benchmarking System for Question Answering Over Knowledge Graphs Systems.☆12Sep 16, 2022Updated 3 years ago
- [CIKM 2023] CRUISE search engine for conducting literature reviews☆14Jun 9, 2025Updated 8 months ago
- FIX (Foreign Information Exchange) protocol implementation for Erlang☆11Dec 16, 2017Updated 8 years ago
- WWW offline explorer☆15Jun 12, 2012Updated 13 years ago
- Kerberised NetCat☆14Jul 30, 2019Updated 6 years ago
- A web frontend for newsgroups☆16Jan 23, 2019Updated 7 years ago
- ACME client library for Erlang☆12Jan 19, 2026Updated last month
- Suite of generic Linked Data/SPARQL as well as LinkedDataHub-specific MCP tools☆38Updated this week
- A reference card for GNU APL☆11Feb 19, 2025Updated last year
- Erlang interface for controlling Unix processes☆15May 28, 2023Updated 2 years ago
- This repo contains the source code for https://pest.rs☆13Feb 1, 2026Updated last month
- My various command line scripts that I'm using on my Debian desktops and servers☆12Dec 15, 2025Updated 2 months ago
- Web Application in Go Language☆15Feb 14, 2014Updated 12 years ago
- Drop-in for ⍎ to execute arbitrary APL code safely☆11Updated this week
- Linearizability Visualizer☆10Jan 24, 2015Updated 11 years ago
- threadstack, ergonomic library for thread local stacks☆11Mar 5, 2021Updated 4 years ago
- systemd helper service units for running services in network namespaces.☆10May 23, 2019Updated 6 years ago
- DSLs for modeling and analyzing farming systems☆12May 4, 2017Updated 8 years ago
- A clean and minimal template for your CV or résumé.☆12Apr 2, 2025Updated 10 months ago