Tabular Database Systems — A DuckDB-based course on the fundamentals of relational DBMSs and SQL
☆155Apr 7, 2026Updated last month
Alternatives and similar repositories for TaDa
Users that are interested in TaDa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dissecting the Duck's Innards — A DuckDB-based course on the Design and Implementation of Database System Internals☆351Apr 7, 2026Updated last month
- A web + mobile app (PWA) with Stripe integration for forecasting SaaS revenue☆40Dec 5, 2023Updated 2 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notat…☆16Mar 11, 2012Updated 14 years ago
- 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.
- A unified CLI and library for managing architectural artifacts (RFCs, ADRs, Decomposition Plans) with plugins, impact analysis, and healt…☆29Dec 15, 2025Updated 5 months ago
- Visualize fine-grained timing data from ghc verbose logs☆13Jan 12, 2022Updated 4 years ago
- ☆11Jul 8, 2020Updated 5 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Apr 18, 2026Updated last month
- machine fusion☆16Oct 13, 2018Updated 7 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 3 weeks ago
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated 2 years ago
- neovim project manager☆12Apr 3, 2026Updated last month
- The code used to evaluate embedding models on the Massive Legal Embedding Benchmark (MLEB).☆38Feb 24, 2026Updated 3 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.
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 4 years ago
- A powerful procedural tree creation tool for Unity. Now it is completely Open Source (MIT).☆23Mar 19, 2026Updated 2 months ago
- static analysis of free monads☆24Jul 10, 2018Updated 7 years ago
- A Neovim plugin host and framework for Haskell☆20May 10, 2026Updated 2 weeks ago
- Haskell implementation of P4F Control-Flow Analysis☆21Jun 4, 2022Updated 3 years ago
- pump.fun clone: pumpfun smart contract fork (pump.fun fork), solana pump fun smart contract source code☆17Mar 25, 2026Updated 2 months ago
- Welcome to the domain-automation-api repository! This project aims to provide a robust and efficient API for automating domain-related ta…☆13Feb 12, 2025Updated last year
- A lightweight pandas-compatible DataFrame API built on top of Polars for speed and simplicity☆57Updated this week
- ☆21Jun 16, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Easy PayFast integration for Django with full transaction tracking and real-time ITN (payment notification) logging for every payment.☆36Feb 23, 2026Updated 3 months ago
- DevOps with Docker course by the University of Helsinki, Course material☆12Sep 9, 2025Updated 8 months ago
- E.L.L.A (Enhanced Locust Logic Architecture) is a Python-based system designed for high-speed, intelligent data recovery from local datab…☆12Nov 23, 2025Updated 6 months ago
- ☆24Aug 11, 2023Updated 2 years ago
- [CVPR' 26] MajutsuCity: Language-driven Aesthetic-adaptive City Generation with Controllable 3D Assets and Layouts☆44Apr 27, 2026Updated 3 weeks ago
- A Teeny Type Theory☆27Jun 4, 2022Updated 3 years ago
- Command line editor, C api, readline replacement☆28Dec 23, 2024Updated last year
- 🧛🏻♂️ Dark theme for Beyond Compare 4☆15Aug 21, 2025Updated 9 months ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Implementation of Google Brain's 2017 research paper. Attention is all you need! Trained and validated on Opus Books dataset☆26Jul 23, 2025Updated 10 months ago
- Order theory☆25Sep 7, 2023Updated 2 years ago
- If you can read ~200 lines of Python, you understand MCP.☆63Mar 12, 2026Updated 2 months ago
- PocketBase Instance Manager☆35Nov 24, 2025Updated 6 months ago
- tern is a lightweight Go package for simple, concise ternary expressions, enabling clear conditional logic.☆17Mar 4, 2026Updated 2 months ago
- A StableHLO analyzer in Lean☆21Jul 22, 2025Updated 10 months ago
- ☆13Feb 10, 2025Updated last year