Sign in

Repository Index

60,121 visible repositories in the index

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

505–528 of 624 · Most stars

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

Ruby wrapper for the famous spell checker library hunspell.

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

A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.

  • functional-programming
  • javascript
  • js
  • monad

Elixir library to do pipeable transformations on html strings (with CSS selectors)

  • elixir
  • html-parser
  • html-renderer
  • css-selector

The helper class for Visual Basic for Applications (VBA) 7.0, providing access to CLR (.NET Framework) assemblies and classes.

  • clr
  • vba
  • visual-basic
  • netframework

A pool that spins up a given number of processes in advance and attaches stdin and stdout when needed. Very similar to FastCGI but works for any command.

Elixir macro for extracting or transforming values inside a pipe flow.

  • elixir
  • pipe
  • error-handling