channable/dbcritic external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

channable/dbcritic

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/channable/dbcritic)

Close

channable / dbcriticView on GitHubMore

• External links
• Readme badge

☆179Nov 24, 2025Updated 3 months ago

Alternatives and similar repositories for dbcritic

Users that are interested in dbcritic are comparing it to the libraries listed below

• channable / hoff

  View on GitHub
  A gatekeeper for your commits
  ☆47Feb 4, 2026Updated 3 weeks ago
• haskell / entropy

  View on GitHub
  Easy entropy source for Haskell users.
  ☆28Feb 8, 2026Updated 3 weeks ago
• re-xyr / avail

  View on GitHub
  Low-overhead effect management for concrete monads
  ☆37Mar 25, 2022Updated 3 years ago
• andorp / IdrisExtSTGCodegen

  View on GitHub
  ☆26Nov 18, 2022Updated 3 years ago
• karroffel / Idris2-Ocaml

  View on GitHub
  OCaml backend for Idris2
  ☆20Oct 12, 2020Updated 5 years ago
• alonsodomin / haskell-schema

  View on GitHub
  A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
  ☆21Mar 22, 2022Updated 3 years ago
• channable / icepeak

  View on GitHub
  Icepeak is a fast JSON document store with push notification support.
  ☆136Jan 9, 2026Updated last month
• edwinb / SchemeEval

  View on GitHub
  Experimental normalisation via scheme
  ☆12Jul 25, 2021Updated 4 years ago
• michaelsproul / dblib-linear

  View on GitHub
  Formalisation of the linear lambda calculus in Coq
  ☆10Dec 2, 2018Updated 7 years ago
• mmhelloworld / Idris2-boot

  View on GitHub
  A dependently typed programming language, a successor to Idris
  ☆12Jul 18, 2021Updated 4 years ago
• parsonsmatt / annotated-exception

  View on GitHub
  Machinery for throwing and catching exceptions with some annotation.
  ☆35Apr 11, 2025Updated 10 months ago
• gallais / pearl-binary-search

  View on GitHub
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29May 26, 2021Updated 4 years ago
• mgartner / pg_flame

  View on GitHub
  A flamegraph generator for Postgres EXPLAIN ANALYZE output.
  ☆1,615Jan 13, 2020Updated 6 years ago
• mattpolzin / harmony

  View on GitHub
  Harmonize with coworkers around GitHub reviewing.
  ☆23Jan 27, 2026Updated last month
• alexhumphreys / hello-idris2

  View on GitHub
  A template for idris projects
  ☆11Jun 27, 2021Updated 4 years ago
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• cartazio / resin

  View on GitHub
  Resin: high performance variable binder and ast manipulation lib
  ☆13Jan 1, 2019Updated 7 years ago
• grin-compiler / idris-grin

  View on GitHub
  GRIN backend for Idris
  ☆50Apr 11, 2020Updated 5 years ago
• jdolson / univalence-from-scratch

  View on GitHub
  Univalence from scratch in Idris
  ☆19Apr 25, 2018Updated 7 years ago
• Bodigrim / text-rope

  View on GitHub
  A wrapper around Text for fast line/column navigation and logarithmic concatenation
  ☆39Jul 17, 2024Updated last year
• kbertalan / tyttp

  View on GitHub
  ☆23May 10, 2025Updated 9 months ago
• Barry-Jay / Intensional-computation

  View on GitHub
  translations of a lambda abstraction to combinations of operators
  ☆18Sep 6, 2019Updated 6 years ago
• proglang / ldgv

  View on GitHub
  Label dependent dependent session types
  ☆16May 2, 2024Updated last year
• shamansir / tron-gui

  View on GitHub
  The nice-looking GUI for your generative art. With the support of detaching. Written in Elm. https://package.elm-lang.org/packages/shaman…
  ☆11Feb 27, 2024Updated 2 years ago
• agentultra / postgresql-replicant

  View on GitHub
  A streaming PostgreSQL logical replication client library for Haskell
  ☆42Aug 4, 2023Updated 2 years ago
• commercialhaskell / casa

  View on GitHub
  Content Addressable Storage Archive
  ☆41Sep 26, 2025Updated 5 months ago
• rap2hpoutre / pg-anonymizer

  View on GitHub
  Dump anonymized PostgreSQL database with a NodeJS CLI
  ☆236Aug 30, 2024Updated last year
• felixmulder / hedgehog-servant

  View on GitHub
  Property based testing for Servant using Hedgehog
  ☆19Apr 25, 2021Updated 4 years ago
• mattpolzin / idv

  View on GitHub
  Idris Version Manager
  ☆16Feb 23, 2025Updated last year
• cwgoes / tm-proposer-idris

  View on GitHub
  Formalization of Tendermint proposer election properties
  ☆14Jan 13, 2019Updated 7 years ago
• cybertec-postgresql / pg_show_plans

  View on GitHub
  Show query plans of all currently running SQL statements
  ☆203Jan 19, 2026Updated last month
• gvolpe / fts

  View on GitHub
  Postgres full-text search (fts)
  ☆28Jan 6, 2022Updated 4 years ago
• dorchard / effectful-explanations-talk

  View on GitHub
  "Programs that explain their effects" talk material
  ☆17Jun 22, 2018Updated 7 years ago
• gvolpe / postgresql-resilient

  View on GitHub
  Automatic re-connection support for PostgreSQL.
  ☆15Aug 12, 2021Updated 4 years ago
• bgamari / io-uring

  View on GitHub
  A simple set of io-uring bindings in Haskell
  ☆28Jul 21, 2020Updated 5 years ago
• pkamenarsky / concur-replica

  View on GitHub
  Server-side VDOM UI framework for Concur
  ☆138Oct 18, 2020Updated 5 years ago
• andgate / type-theory-compiler

  View on GitHub
  Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…
  ☆44Jul 27, 2019Updated 6 years ago
• frex-project / idris-frex

  View on GitHub
  ☆52Aug 14, 2025Updated 6 months ago
• tweag / capability

  View on GitHub
  Extensional capabilities and deriving combinators
  ☆224Oct 24, 2025Updated 4 months ago