GObject Introspection D Package Repository
Repository Index
47,133 repositories indexed
193–216 of 258 · Most stars
A portable reader and bridge for interacting with Objective-C and Cocoa
Crystal bindings to the Zstandard (zstd) compression library
- crystal
- crystal-bindings
- zstd
- zstandard
Type aware promises for crystal lang
go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4
Jmeter as code is the easy way to write jmeter test as code.
- jmeter
- java
- performance-testing
- performance
A Scala Native wrapper of the SQLite C library
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
A cookiecutter template for Common Lisp videogame projects
- common-lisp
- cookiecutter
- cookiecutter-template
- lisp
annoy-rb provides Ruby bindings for the Annoy (Approximate Nearest Neighbors Oh Yeah).
- ruby
- approximate-nearest-neighbor-search
- nearest-neighbor-search
- gem
Simple Web-MIDI Message Parser
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
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
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
Mutex Server using WebSocket
- mutex
- server
- critical-section
- websocket
V wrapper around the C Java Native Interface
- java
- jni
- kotlin
- android
Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.
- parallel-processing
- elixir-library
Elixir macro for extracting or transforming values inside a pipe flow.
- elixir
- pipe
- error-handling
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
A natural language parser for validating complex date ranges
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
- pipe
- pipeline
- kleisli
- ramda
Free Monads and useful constructions to work with them
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics