Clojure support for protocol buffers
- clojure
- protobuf
- protobuf3
- protobuf-java
Repository Index
47,133 repositories indexed
169–192 of 250 · Most stars
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
A comprehensive, reusable and efficient concurrent-safe generics utility functions and data structures library.
- go
- golang
- data-structures
- functional
a thread-safe concurrent map for go
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
🚦 Semaphore pattern implementation with timeout of lock/unlock operations.
- go
- golang
- library
- module
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
- uno
- uno-platform
- webassembly
- wasm
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
FFI Bindings to interact with the unsafe world of JavaScript
The repository host gives no description.
- hacktoberfest
Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.
- supercollider
- lisp
- synth
- sequencer
A library for managing pools of workers
- elixir-library
- worker-pool
- elixir
- poolboy
Create a deferred promise
Write HTML in plain Crystal
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.
- java-bytecode
- invokedynamic
- java
- jvm-bytecode
Wrapper for feeder. Elixir RSS parser
Superior Lisp Interactive Mode for Pulsar
- common-lisp
- atom
- repl
- pulsar-package
Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code
dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.
- scala
- dfa
- regular-expression
- regular-expression-engine