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

1,489–1,512 of 1,898 · Most stars

Universal copy paste service, works across different machines!

  • pasta
  • copy
  • tool
  • fileshare

Console Text Colors - The non-invasive cross-platform terminal color library does not need to modify the Print method

A simple Elixir package to elegantly mock module functions within (asynchronous) ExUnit tests using Erlang's :meck library

query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp

  • common-lisp
  • domain-specific-languages
  • dsl
  • json

Documentation of the German Open Transport Meetup and Open Transport Data Quality Meetup Meetings

  • community
  • meetup
  • opendata
  • opensource

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.