C++14 concurrent lock-free low-latency queue.
Repository Index
61,121 visible repositories in the index
25–48 of 68 · Most stars
A hunky Erlang worker pool factory
- erlang
- pool
- worker-pool
Official repository - Fully managed, cross platform (Windows, Mac, Linux) .NET library for capturing packets
- capture-packets
- c-sharp
- cross-platform
- network-monitoring
Python interface for igraph
- complex-networks
- graph-algorithms
- graph-theory
- mathematics
A Coq library for Homotopy Type Theory
- type-theory
- homotopy-type-theory
- univalent-foundations
Localization/I18n: Incrementally update/translate your Strings files from .swift, .h, .m(m), .storyboard or .xib files.
- localization
- xib
- storyboard
- swift
Open Watcom V2.0 - Source code repository, Wiki, Latest Binary build, Archived builds including all installers for download.
Monads and other dark magic for Elixir
- elixir
- type-class
- functor
- monad
Category Theory and Algebraic abstractions for Clojure and ClojureScript.
Lightning Memory Database (LMDB) for Java: a low latency, transactional, sorted, embedded, key-value store
- lmdb
- java
- key-value
- embedded-database
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Quick development library (AutoMapper, LinQ, IOC Dependency Injection, MemoryCache, Scheduled tasks, Json and Yml Config and Options pattern, Serializers, etc) with crossplatform support for Delphi/Firemonkey (Windows,Linux,OSX/IOS/Android) and freepascal (Windows/Linux).
- delphi
- azure
- config
- json
Parser combinators built for speed and memory efficiency
- ocaml
- parser-combinators
- parsing
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
- functional-programming
- category-theory
- functor
- monad
Nemerle language. Main repository.
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
An opinionated F# Library for error handling
- fsharp
- error-handling
- railway-oriented-programming
- category-theory
Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
- clojure
- category-theory
- clojure-library
- monad
Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.
- cql
- clinical-quality-language
- cds
- java
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
Official GitHub repository for netCDF-Fortran libraries, which depend on the netCDF C library. Install the netCDF C library first.
- netcdf-fortran
- unidata
- netcdf-library
- dataset
High performance Transactional Memory for Common Lisp
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
Functional Concurrency Primitives
- concurrency
- software-transactional-memory
- synchronization
- lock