Alternatives and similar repositories for sql-intro

Users that are interested in sql-intro are comparing it to the libraries listed below

• tonio73 / dnnviewer

  View on GitHub
  Deep Neural Network viewer
  ☆19Jul 5, 2020Updated 5 years ago
• eepdev / adamantfinance

  View on GitHub
  adamant.finance contracts
  ☆18Jul 10, 2021Updated 4 years ago
• perryrh0dan / qlock

  View on GitHub
  Word clock powered by raspberrypi and python with mqtt support
  ☆12Dec 17, 2022Updated 3 years ago
• geohackweek / ghw2019_planetpieces

  View on GitHub
  Convolutional Neural Network and image segmentation for land classification of high resolution multispectral imagery (Planet - 3m resolut…
  ☆11Sep 28, 2019Updated 6 years ago
• geoffreylink / Projects

  View on GitHub
  Applied Data Science by Geoffrey Link
  ☆10Feb 4, 2026Updated last week
• sparksuite / salary-calculator

  View on GitHub
  Transparent, predictable, & holistic compensation
  ☆13Feb 3, 2026Updated last week
• twosixtech / demo-integrating-docker-and-adb

  View on GitHub
  Code examples to accompany the Integrating Docker and ADB blog post
  ☆14May 1, 2023Updated 2 years ago
• costa-group / forves

  View on GitHub
  ☆12Nov 19, 2024Updated last year
• yellowcrescent / inventree-zpl-plugin

  View on GitHub
  ZPL Printer Plugin for InvenTree
  ☆11Dec 14, 2024Updated last year
• nfurfaro / hunter

  View on GitHub
  A mutation testing CLI tool built in Rust. Currently supports Noir as a target language
  ☆12Dec 2, 2024Updated last year
• tobias-rothmann / Polynomial-Commitment-Schemes

  View on GitHub
  Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
  ☆10Jan 24, 2026Updated 3 weeks ago
• SunHaozhe / OmniPrint

  View on GitHub
  ☆11Oct 31, 2021Updated 4 years ago
• Flooorent / cours-spark-telecom

  View on GitHub
  Cours sur Spark donné à Telecom
  ☆13Oct 24, 2019Updated 6 years ago
• oscar6echo / jupyter-on-google-cloud

  View on GitHub
  ☆10Sep 2, 2017Updated 8 years ago
• forresto / choo-graph-viz

  View on GitHub
  ⚠️ WIP - Visualizing data flow in Choo with Choo + KLay layout + SVG
  ☆11Nov 1, 2016Updated 9 years ago
• ocaml / dbm

  View on GitHub
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Jul 11, 2024Updated last year
• lita-xyz / valida-rs

  View on GitHub
  The entry point for Rust projects to be run on Valida
  ☆10Mar 14, 2025Updated 11 months ago
• alex-gutev / live_cells

  View on GitHub
  A replacement for ChangeNotifier and ValueNotifier that is simpler to use and more flexible.
  ☆10Jan 12, 2026Updated last month
• tchajed / coq-ltac2-experiments

  View on GitHub
  All the code I've ever written in Ltac2
  ☆11Jan 19, 2021Updated 5 years ago
• iridia-ulb / references

  View on GitHub
  Repository of shared bibtex files (references)
  ☆11Jan 28, 2026Updated 2 weeks ago
• Traace-co / ev-footprint

  View on GitHub
  A simulation of the true impact on climate and CO2 emissions of an electric car vs a traditional gasoline car, based on science.
  ☆16Jan 29, 2026Updated 2 weeks ago
• rocq-community / buchberger

  View on GitHub
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆11Dec 30, 2023Updated 2 years ago
• matter-labs / eravm-spec

  View on GitHub
  EraVM specification.
  ☆18Updated this week
• rbardou / red

  View on GitHub
  A command-line text editor in OCaml.
  ☆13Apr 26, 2025Updated 9 months ago
• ebu / mcma-libraries

  View on GitHub
  MCMA libraries for Node.js
  ☆11Jan 19, 2026Updated 3 weeks ago
• JetBrains / ot-coq

  View on GitHub
  ot-coq
  ☆17Sep 5, 2023Updated 2 years ago
• immutable / zkevm-bridge-contracts

  View on GitHub
  Smart contracts for the Immutable zkEVM native bridge
  ☆17May 28, 2025Updated 8 months ago
• morpho-org / legacy-morpho-token

  View on GitHub
  Morpho token contracts.
  ☆14Dec 10, 2024Updated last year
• Certora / Quorum

  View on GitHub
  ☆14Oct 29, 2025Updated 3 months ago
• anisayari / LCL_extract_data_from_pdf

  View on GitHub
  The goal of this repo is to purpose a python script to extract a tabular dataset from unstructured pdf from LCL.
  ☆13Feb 10, 2021Updated 5 years ago
• koka-lang / AddressC

  View on GitHub
  ☆14May 28, 2025Updated 8 months ago
• appliedfm / vstyle-tools

  View on GitHub
  A formatter/linter for Coq source
  ☆14Jan 15, 2022Updated 4 years ago
• saber-hq / u128

  View on GitHub
  🧮 U128 helpers for Solana programs.
  ☆11Sep 5, 2023Updated 2 years ago
• chancehudson / ashlang

  View on GitHub
  ☆12Dec 12, 2025Updated 2 months ago
• acryptos / acryptos-protocol

  View on GitHub
  ☆12Jan 1, 2022Updated 4 years ago
• zendesk / action-create-release

  View on GitHub
  Github action to create releases
  ☆11Feb 5, 2026Updated last week
• EngineeringSoftware / math-comp-corpus

  View on GitHub
  Corpus of Coq code related to MathComp including several machine-readable representations
  ☆10Sep 6, 2022Updated 3 years ago
• draftbit / re-jest

  View on GitHub
  Easier bindings to Jest for ReasonML
  ☆12Oct 17, 2024Updated last year
• janestreet / topological_sort

  View on GitHub
  Topological sort algorithm
  ☆14Jan 15, 2026Updated 3 weeks ago