DBToaster OCAML code
☆11Jan 19, 2022Updated 4 years ago
Alternatives and similar repositories for dbtoaster-a5
Users that are interested in dbtoaster-a5 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The current backend of DBToaster, implemented in Scala.☆68Feb 14, 2022Updated 4 years ago
- Factorized Incremental View Maintenance for Queries and Analytics☆24Dec 17, 2025Updated 10 months ago
- Bitcoin pricing prediction and trading simulation through time series and sentiment analysis.☆13May 20, 2014Updated 12 years ago
- TradingSimulation is a modular framework designed for back-testing trading strategies.☆10May 19, 2015Updated 11 years ago
- The Marisa extension by Query.Farm integrates the fast, space-efficient MARISA trie into DuckDB, enabling high-performance string lookups…☆17Oct 23, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆15Jun 18, 2020Updated 6 years ago
- SuperTango8, Grapher by Algoritmegruppen☆14Jul 15, 2017Updated 9 years ago
- String searching with errors, using the Wu-Manber algorithm☆24Jan 17, 2025Updated last year
- Sugar for manual memory management☆19Aug 31, 2018Updated 8 years ago
- An implementation of the maxflow algorithm by Yuri Boykov and Vladimir Kolmogorov.☆12Nov 26, 2014Updated 11 years ago
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- Benchmarking for factorized processing☆11Jul 5, 2021Updated 5 years ago
- Example DSLs for working with SC☆22Sep 22, 2017Updated 9 years ago
- Fix log extension for duckdb☆16Dec 25, 2025Updated 10 months 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.
- A C++ Library for Online Judging☆11Nov 17, 2025Updated 11 months ago
- Spatial data structures☆19Jun 26, 2026Updated 4 months ago
- ☆14Nov 23, 2016Updated 9 years ago
- ☆13Apr 17, 2025Updated last year
- Quasi-quoting library for agda☆18Nov 29, 2024Updated last year
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆44Nov 28, 2018Updated 7 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated 2 years ago
- Composable intrincially-typed definitional interpreters☆17Nov 13, 2022Updated 3 years ago
- ☆18Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- This sample shows how to configure an Azure App Service to access Azure Cache for Redis and Azure SQL Database via regional VET integrati…☆10May 6, 2021Updated 5 years ago
- Provides a reference implementation of FeatherweightRust in Java.☆15Oct 28, 2021Updated 5 years ago
- a steady descent into madness☆17Oct 15, 2026Updated 2 weeks ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 5 years ago
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated last month
- A collection of libraries maintained by LAMP.☆15Sep 6, 2026Updated last month
- Sample Application for Remote Kubernetes Development in Visual Studio Code with Okteto☆11Jun 2, 2026Updated 4 months ago
- XUnit.jl is a unit-testing framework for Julia.☆46Jun 30, 2023Updated 3 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years 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.
- Azure Event Hubs Kafka MirrorMaker ACI☆10Jan 12, 2021Updated 5 years ago
- The official ActiveRecord integration for ParadeDB☆43Oct 16, 2026Updated last week
- Maze generator, solver and interactive game written in Python☆18Mar 13, 2021Updated 5 years ago
- DBML Parser for the JVM☆16Sep 6, 2025Updated last year
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 8 months ago
- A pure Julia implementation of google flatbuffers☆48Oct 9, 2026Updated 2 weeks ago
- Zero Memory Widget☆10Dec 30, 2020Updated 5 years ago