Overview of SQL concepts
☆59Oct 19, 2021Updated 4 years ago
Alternatives and similar repositories for sql-overview
Users that are interested in sql-overview are comparing it to the libraries listed below
Sorting:
- personal git mirror of sqllogictest☆43Mar 3, 2026Updated 2 weeks ago
- An SQL lexer for Node.js☆18May 18, 2014Updated 11 years ago
- Your happy place for learning APL☆15Jan 5, 2023Updated 3 years ago
- Prototype of FPaxos, built upon LibPaxos3☆48Mar 14, 2020Updated 6 years ago
- 📝 A comprehensive suite of SQL tests for testing the conformance of databases.☆55May 29, 2024Updated last year
- IDLSet - Fast u64 integer set operations☆13May 30, 2024Updated last year
- DuckDB extension for MySQL☆15Mar 17, 2024Updated 2 years ago
- Functional statecharts implementation for Clojure and ClojureScript.☆34Oct 18, 2020Updated 5 years ago
- ☆55May 5, 2024Updated last year
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Nov 7, 2018Updated 7 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 8 years ago
- grep for diffs☆39Jul 17, 2024Updated last year
- Types for ldtk☆16Apr 13, 2024Updated last year
- ☆14Feb 13, 2026Updated last month
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Jan 28, 2025Updated last year
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- Game in Haskell☆14Mar 5, 2026Updated 2 weeks ago
- ☆15Oct 22, 2025Updated 4 months ago
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 5 years ago
- Simplify managing Haskell projects by generating files like README.md, .travis.yml, etc.☆12Aug 23, 2015Updated 10 years ago
- A terminal UI for discourse☆14Jul 25, 2020Updated 5 years ago
- Explorations into specification-as-a-value☆42Mar 15, 2013Updated 13 years ago
- https://crates.io/crates/embed-wasm☆11Aug 25, 2020Updated 5 years ago
- Static gopherhole generator.☆13May 5, 2025Updated 10 months ago
- Run your Scotty apps over TLS☆25Apr 28, 2025Updated 10 months ago
- https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html☆12Jul 6, 2016Updated 9 years ago
- [ABANDONED] An attempt to port the concur library to PureScript.☆20Feb 21, 2018Updated 8 years ago
- Maveniverse Nisse☆13Mar 13, 2026Updated last week
- A SQL parser written in pure JS☆33Dec 11, 2023Updated 2 years ago
- Radically transparent☆12Feb 20, 2018Updated 8 years ago
- Tutorial for essence-of-live-coding☆17Apr 12, 2023Updated 2 years ago
- A tool which helps you to debug complicated Postgres queries.☆14Sep 20, 2017Updated 8 years ago
- ☆10Sep 7, 2022Updated 3 years ago
- Crockford Base32 encoding for PostgreSQL unsigned integers☆13Sep 8, 2019Updated 6 years ago
- Sync local dev files on remote servers then build and run remote containers - no middlemane☆56Nov 5, 2025Updated 4 months ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 2 years ago
- An index of blocklists and a tool to extract CIDRs to use in firewalls and network appliances.☆12Aug 3, 2023Updated 2 years ago
- ☆14Jan 12, 2018Updated 8 years ago
- A purely functional animated GUI framework☆17Jul 16, 2025Updated 8 months ago