A Java library to handle attributes and functional dependencies, and to solve database normalization related problems, including closure, minimal basis, projection, and decomposition to BCNF and 3NF, etc.
☆31Feb 28, 2016Updated 10 years ago
Alternatives and similar repositories for Database-Normalization-Solver
Users that are interested in Database-Normalization-Solver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository contains all the Test-Case Generator Program that I have implemented in order to test and debug my projects (https://gith…☆11Jul 9, 2016Updated 9 years ago
- Bitwyre's Software Development Kit - Algorithmic Trading☆13Oct 30, 2023Updated 2 years ago
- Automatically exported from code.google.com/p/synchronic☆11Nov 8, 2016Updated 9 years ago
- C++ Parallel STL Benchmarks and Other Developments☆11Dec 13, 2023Updated 2 years ago
- Kubernetes ingress controler with OpenResty using redis☆14May 24, 2020Updated 5 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.
- JuCC - Jadavpur University Compiler Compiler☆44Feb 18, 2022Updated 4 years ago
- A shortener url app for demonstrating distributed system a.k.a modern microservice architecture☆14Mar 13, 2019Updated 7 years ago
- ☆14Dec 13, 2014Updated 11 years ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 3 years ago
- RISC-V Zve32x, Zve32f, Zvfh Vector Coprocessor☆17Updated this week
- a unique employee management application to enable today's most accomplished entrepreneurs☆17Feb 13, 2026Updated last month
- Buffer and byte algorithms/types based on those of Asio☆15Jan 26, 2022Updated 4 years ago
- Prototype library for Go-like channels in Scala 3 / ZIO 2☆13Updated this week
- Code for paper "End-to-End Reinforcement Learning for Automatic Taxonomy Induction", ACL 2018☆65Oct 10, 2018Updated 7 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.
- Sample code for our CUDA AMR Iso-Surface Extraction☆16Apr 17, 2020Updated 5 years ago
- Durable Delivery White Paper☆16Feb 27, 2024Updated 2 years ago
- A formalization of first-order logic and Peano's axioms in Python☆21Jun 21, 2025Updated 9 months ago
- Radix set/map implementation☆19Mar 15, 2024Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Jan 1, 2024Updated 2 years ago
- Single header library for creating image atlases.☆27Feb 5, 2022Updated 4 years ago
- This repository contains guide on how to setup toolkits to use NPU present on Axon for running various CNN models☆26Mar 20, 2026Updated last week
- Based on Jason Turner's musing for a better `main` that is more in step with Modern C++☆18Feb 8, 2023Updated 3 years ago
- Minimal MicroPython programming example for the Lilygo T-WATCH S3☆21Feb 19, 2024Updated 2 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.
- WOOT CRDT Collaborative Text Editor Implemented in Go☆25Nov 11, 2021Updated 4 years ago
- Overclock NVIDIA Cards on Ubuntu and Linux based non-mining OS☆14Jun 1, 2022Updated 3 years ago
- My very own vxsort re-implemented with "modern" C++ by a complete idiot (in C++)☆31Mar 15, 2026Updated last week
- 华为OJ中级，Java部分☆38Feb 3, 2016Updated 10 years ago
- C++20 Value-oriented Metaprogramming Library☆25Nov 26, 2025Updated 4 months ago
- Fork of LLVM for demonstrating optimization pass development☆31Mar 3, 2023Updated 3 years ago
- BRISKI ( Barrel RISC-V for Kilo-core Implementations ) is a fast and compact RISC-V barrel processor core that emphasize high throughput …☆29Nov 28, 2025Updated 3 months ago
- Read HotSpot perf counters directly from the JVM memory☆36Mar 23, 2023Updated 3 years ago
- Containers for building C++ on CI☆48Sep 20, 2024Updated last year
- 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.
- A Scala DSL to write type-safe programs for distributed computing☆34Updated this week
- Track memory leaks for Linux kernel modules using eBPF☆46Mar 11, 2026Updated 2 weeks ago
- Tool developped for "Bounded verification of message passing concurrency in Go programs."☆44May 31, 2023Updated 2 years ago
- A command line parser for C++.☆38Jan 29, 2025Updated last year
- Some nice programs aimed at preservation of software from old computers.☆41Nov 8, 2025Updated 4 months ago
- TSXor: A Simple Time Series Compression Algorithm☆53Feb 19, 2025Updated last year
- ☆64Mar 5, 2026Updated 3 weeks ago