Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

409–432 of 490 · Most stars

Crystal Run : shebang wrapper for Crystal

  • unix-shell
  • crystal-language

High-performance TUI framework for Go with DDD + Rich model inspired architecture, perfect Unicode, and Elm-inspired design. Modern alternative to Bubbletea/Lipgloss.

An easy utility for responding with standard HTTP/JSON error payloads in Plug- and Phoenix-based applications

The d-SEAMS C++ core engine

  • molecular-dynamics-simulation
  • molecular-dynamics
  • trajectory-analysis
  • lua

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

A live-updating version of the UNIX wc command.