Sharing results of `dbprove` runs
☆12Jul 1, 2026Updated 3 months ago
Alternatives and similar repositories for dbprove-results
Users that are interested in dbprove-results are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Example of building a Unison program via Nix☆11Dec 1, 2025Updated 10 months ago
- Template for building a SQLite extension in C/C++. Builds a loadable module, static extension, python package and WebAssembly distributio…☆13Aug 17, 2023Updated 3 years ago
- ☆16Oct 12, 2026Updated 2 weeks ago
- ☆14Sep 24, 2025Updated last year
- ☆12Aug 16, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- MoCap data collected from 17 players of the Caldas-Colombia tennis league.☆12May 22, 2024Updated 2 years ago
- [Mirrored from UPM, not affiliated with Unity Technologies.] 📦 The Terrain Tools package adds additional Terrain sculpting brushes and t…☆16Aug 19, 2026Updated 2 months ago
- ☆11Sep 5, 2026Updated last month
- One-click installer for creative and Media & Entertainment applications on AlmaLinux (Blender, GIMP, Krita, DaVinci Resolve and more).☆17Sep 24, 2026Updated last month
- exploded view extension for NVIDIA Omniverse☆13Dec 23, 2022Updated 3 years ago
- A bookshelf generator Kit Extension created using OpenUSD☆12Jul 25, 2024Updated 2 years ago
- Using Graphics Buffer input with Azure Kinect Point Cloud☆13May 7, 2023Updated 3 years ago
- The Modern Data Stack in a (Smaller) Box☆12Jan 28, 2023Updated 3 years ago
- First Person Game Kit☆13Mar 19, 2026Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Library Written in C# For Colorizing SQL Server T-SQL Scripts in .Net☆12Nov 28, 2019Updated 6 years ago
- ☆13May 31, 2025Updated last year
- ☆11Apr 28, 2025Updated last year
- I can't believe it's not Die Hard!☆12Jun 7, 2024Updated 2 years ago
- A high dynamic range (HDR) production example created by Netflix Animation Studios☆16Aug 7, 2025Updated last year
- Unreal Engine C++ Prototype featuring Superman Gameplay Mechanics such as flight, heat vision, and basic combat☆14Jul 18, 2025Updated last year
- A DataFusion-powered Serverless S3 Proxy.☆17Apr 15, 2024Updated 2 years ago
- High-performance, DSL-free stream processing☆63Dec 31, 2025Updated 9 months ago
- Azure kinect body tracking plugin for Unreal☆15Feb 13, 2020Updated 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.
- Use TinyGo to create the basic WebGL triangle in Wasm. About 9.5kB compressed.☆10Feb 29, 2020Updated 6 years ago
- A mod to export a BeamNG.drive replay as a sequence of glTF files☆12Jan 23, 2026Updated 9 months ago
- ☆19Jun 28, 2023Updated 3 years ago
- Unreal Engine Project that tracks the nDisplay viewpoint to the position of the viewer's head using a Kinect camera.☆15Aug 27, 2023Updated 3 years ago
- Data Engineering Toolbelt - DB-to-Glass☆10Oct 19, 2026Updated last week
- AWS doesn't care enough about BlueSky to post its releases there, but I do.☆16Updated this week
- PRISM is a UDF optimization framework that deconstructs a UDF into separate inlinable and outlinable pieces, resulting in simpler queries…☆19Aug 13, 2025Updated last year
- A Singer.io target for DuckDB☆19Feb 11, 2026Updated 8 months ago
- 此项目基于 Open3D 和 Azure Kinect DK 实现了三维重建。基于 IMU 传感器实现粗配准，基于彩色 ICP 算法实现精配准。☆13Aug 1, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Unity Heightmaps and Terrains☆12Dec 21, 2020Updated 5 years ago
- ☆16Apr 8, 2025Updated last year
- Automation to BeamNG animation generator☆16Jul 12, 2026Updated 3 months ago
- A command line tool to calculate a metric using the indentation of the source code as a proxy for complexity.☆11Jul 31, 2014Updated 12 years ago
- A reference implementation of Dhall in Scala☆12Jun 18, 2026Updated 4 months ago
- Repo for building the FNA WASM libraries. (`-pthread`)☆14Updated this week
- ☆27Nov 14, 2024Updated last year