Sign in

Repository Index

72,362 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

2,665–2,688 of 3,191 · Most stars

Minimalistic API for writing text-based user interfaces in pure Crystal 🍮

  • crystal-lang
  • crystal-language
  • term
  • termbox

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

  • coq-plugin
  • coq-tactic
  • coq
  • docker-coq-action

Write your SQL queries in raw files with all benefits of modern IDEs, use them in an easy way inside your application with all the profit of compile time constants

  • go
  • golang
  • sql

Ruby wrapper for the famous spell checker library hunspell.

  • ruby
  • hunspell
  • rubygem
  • hunspell-spell-checker