go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4
Repository Index
47,133 repositories indexed
817–840 of 1,006 · Most stars
Run promise-returning & async functions a specific number of times concurrently
Delphi's FMX and VCL header/wrapper units for BASS audio library plus add-ons
Adobe AIR native extension for the Bullet physics simulation library
Simple implementation of the hungry-consumer model in Elixir
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Common Interface to ISO Prolog implementations from Common Lisp
Go Bindings for libsamplerate
- golang
- libsamplerate
- audio
- audio-processing
Simple currying for FuncN and ActionN on RxJava [STABLE]
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
Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.
- delphi
- pascal
- allegro5
- lazarus
A modern, template-based, open source data transformation language
Coq library on rewriting theory and termination
Run functions in parallel :comet:
- go
- concurrency
- goroutines
Common Lisp bindings for the OpenAL audio library.
A Common Lisp library that enables fast and convenient interoperation with foreign objects.
Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.
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
Use JavaScript to generate JavaScript
- preprocessor
- build-tool
- babel
- webpack
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
List manipulation library inspired by Haskell package Data.List
IO for Gallina
- coq
- ocaml
- extraction