A set of Koans to teach SQL http://sqlkoans.com
☆44Jan 31, 2024Updated 2 years ago
Alternatives and similar repositories for sql-koans
Users that are interested in sql-koans are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Regular Expressions tutorial in the style of Ruby Koans, written with Javascript and Jest☆62Apr 21, 2023Updated 3 years ago
- Ruby Metaprograaming Koans (Inspired by EdgeCase RubyKoans).☆66Mar 9, 2018Updated 8 years ago
- ☆12Oct 3, 2020Updated 6 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39May 21, 2018Updated 8 years ago
- An educational tool for providing a gentle introduction to Assembly☆10Mar 24, 2022Updated 4 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.
- ☆10Oct 22, 2015Updated 11 years ago
- A functional programming language. Like LISP but focused around maps rather than lists.☆12Jun 12, 2019Updated 7 years ago
- Declarative, applicative, idempotent, self-tested infrastructure☆11Jun 24, 2022Updated 4 years ago
- vim-space for evil-mode☆11Dec 8, 2015Updated 10 years ago
- Flexible authentication solution for Elixir/Phoenix with Guardian.☆12Aug 26, 2022Updated 4 years ago
- Support per-user, per-host and per-platform custom config files.☆13Feb 14, 2021Updated 5 years ago
- Cheat sheet for Haskellers wanting to get up to speed with category theory☆12Mar 4, 2020Updated 6 years ago
- Components to help you out with all your conditional rendering needs☆14May 4, 2018Updated 8 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- безграмотный gitignore and makefile fetcher in Rust☆11Apr 17, 2021Updated 5 years ago
- Make tool-calling schemas for existing tools☆14Mar 8, 2025Updated last year
- OCaml back end for Idris☆22Jan 24, 2018Updated 8 years ago
- A smart formatter wrapper for Nix flakes☆17Updated this week
- Emacs JSON reformatting using jq☆16Feb 8, 2022Updated 4 years ago
- Slides for my talks on accessibility testing with Angular☆11Oct 19, 2016Updated 10 years ago
- Static LaTeX blog generator☆11May 23, 2023Updated 3 years ago
- open Morrowind mod manager. A cli tool for linux to manage mods for openMW☆13Nov 27, 2018Updated 7 years ago
- Helm source and actions to manage processes☆10Dec 30, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A library for working with mmap'd graph data☆12Nov 29, 2020Updated 5 years ago
- Spacemacs Layer for LiquidHaskell☆13Jun 10, 2017Updated 9 years ago
- Show git repository information in dired buffer☆15Updated this week
- ☆12Dec 15, 2023Updated 2 years ago
- A curated list of nothing☆11Oct 6, 2023Updated 3 years ago
- A simple Surface macro component that converts markdown into HTML at compile-time☆11Feb 19, 2024Updated 2 years ago
- Major mode for editing Cask files☆12Mar 26, 2022Updated 4 years ago
- simple neovim tutorial for beginners☆13May 10, 2025Updated last year
- Initializer of Haskell project (cabal, git, tests...) + good tutorial☆14Apr 23, 2019Updated 7 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.
- A multi-user dungeon mapping system for OSR games in the style of nethack/dcss☆13Sep 3, 2025Updated last year
- Nolan's BrazilJS talk: "We can work it out: from Web Workers to Service Workers"☆14Aug 26, 2016Updated 10 years ago
- An RSS and Atom 1.0 syndication library for Rust — generate, parse, and validate feeds with structured errors, format auto-detection, and…☆11Updated this week
- 📌 This plugin allows you to easily identify the value of a CSS variable from any other files.☆11Oct 1, 2024Updated 2 years ago
- Presentation on using git/GitHub with R☆12Jun 3, 2020Updated 6 years ago
- Create Excel files with Haskell☆12Mar 15, 2020Updated 6 years ago
- Neovim Kitty Font Changer☆17Sep 30, 2024Updated 2 years ago