Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

529–552 of 728 · Most stars

A command line tool and library for generating FFI wrappers for Common Lisp

  • ffi
  • common-lisp
  • cffi
  • clang

A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.

  • algebraic-effects
  • side-effect
  • side-effects
  • typesafe

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

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

  • ocaml
  • pcre
  • pattern-matching
  • string-matching

Ruby wrapper for the famous spell checker library hunspell.

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

A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.

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

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