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 is a small demo of how to transform a simple single-server RocksDB service written in Rust into a distributed version using OmniPaxo…☆16Feb 5, 2025Updated last year
- ☆14Jan 1, 2023Updated 3 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
- C++ Concurrency In Action, Thoughts and Notes☆10Jan 18, 2014Updated 12 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Breaks the build if the quality gate of the project is red☆17Dec 5, 2023Updated 2 years ago
- ☆14Dec 13, 2014Updated 11 years ago
- RISC-V Zve32x, Zve32f, Zvfh Vector Coprocessor☆18Apr 8, 2026Updated 3 weeks ago
- Buffer and byte algorithms/types based on those of Asio☆15Jan 26, 2022Updated 4 years ago
- A numpy like array programming language optimized with BuildIt☆14Oct 17, 2025Updated 6 months ago
- Prototype library for Go-like channels in Scala 3 / ZIO 2☆13Mar 26, 2026Updated last month
- Sample code for our CUDA AMR Iso-Surface Extraction☆16Apr 17, 2020Updated 6 years ago
- A formalization of first-order logic and Peano's axioms in Python☆21Jun 21, 2025Updated 10 months ago
- Radix set/map implementation☆19Mar 15, 2024Updated 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.
- Single header library for creating image atlases.☆27Feb 5, 2022Updated 4 years ago
- Minimal MicroPython programming example for the Lilygo T-WATCH S3☆22Feb 19, 2024Updated 2 years ago
- Small HTTP web server with a simple backend, implemented using typelevel libraries (cats, http4s, doobie, circe, etc.) and packaged via d…☆14Jan 24, 2021Updated 5 years ago
- WOOT CRDT Collaborative Text Editor Implemented in Go☆25Nov 11, 2021Updated 4 years ago
- Configurable RISC-V Processor☆20Apr 21, 2026Updated 2 weeks ago
- This repository contains guide on how to setup toolkits to use NPU present on Axon for running various CNN models☆27Apr 14, 2026Updated 3 weeks ago
- Overclock NVIDIA Cards on Ubuntu and Linux based non-mining OS☆14Jun 1, 2022Updated 3 years ago
- Applied Parallel Programming UIUC FA 2017☆31Jan 14, 2018Updated 8 years ago
- *breeze-viz has moved back to the main breeze repo*☆39Jan 24, 2015Updated 11 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Networking in Java with using TCP and UDP as connection Protocols☆60Feb 2, 2021Updated 5 years ago
- C++20 Value-oriented Metaprogramming Library☆25Nov 26, 2025Updated 5 months ago
- Distributed, fault-tolerant, persistent, auto-increment ID generation service with Raft consensus☆25Jan 21, 2024Updated 2 years ago
- Read HotSpot perf counters directly from the JVM memory☆36Mar 23, 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 …☆31Nov 28, 2025Updated 5 months ago
- Containers for building C++ on CI☆48Sep 20, 2024Updated last year
- libcubwt is a library for GPU accelerated suffix array and burrows wheeler transform construction.☆39Aug 14, 2025Updated 8 months ago
- A Scala DSL to write type-safe programs for distributed computing☆34Updated this week
- C++20 SIMD Within A Register library☆49May 9, 2025Updated 11 months 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.
- An implementation of RISC-V☆50Updated this week
- A command line parser for C++.☆38Jan 29, 2025Updated last year
- C++ Entity Component System (ECS)☆36Aug 1, 2024Updated last year
- A simple coroutine-based reactor library☆53Feb 2, 2026Updated 3 months ago
- 2019 Fall ECE408 Project Resources + Requirements☆78Nov 16, 2021Updated 4 years ago
- Greyhound on IHP SG13G2 0.13 μm BiCMOS process☆96Apr 10, 2026Updated 3 weeks ago
- The official repository for the Rock the JVM ZIO course☆61Nov 25, 2025Updated 5 months ago