NBAda - An Ada library of lock-free data structures and algorithms.
Repository Index
76,855 visible repositories in the index
865–888 of 941 · Most stars
FFTW binding in Crystal
- crystal
- fft
Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.
- actor-model
- apache-flink
- distributed-systems
- event-driven
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
Static & dynamic D bindings to the CSFML library, compatible with BetterC, @nogc, and nothrow.
- bindbc
- csfml
- dlang
- sfml
Elixir wrapper of Basho's Bitcask Key/Value store.
A library that wraps OpenSSL, but also has pure Julia implementations for reference.
Provides a type for working with optional variables, fields in structures, functions and database models.
A task graph execution library for elixir
A string argument parser that understands quotes and backslashes
Elixir coordinate conversion library using OSGeo's PROJ.4
- geospatial
- distance-calculation
- coordinate-systems
- osgeo-proj
Adds pledge(2) to crystal.
- crystal
- crystal-language
- shards
- openbsd
A Ruby regex script for port ruby code to crystal easier, reduce friction.
libgoffi - libffi adapter library for Go
Ada interface to the readline library
Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language
- elixir
- elixir-lang
- distributed-systems
- hashing-algorithm
Static & dynamic D bindings to OpenAL, compatible with BetterC, @nogc, and nothrow.
- bindbc
- dlang
- openal
- openal-soft
Use plotly in your browser to explore data from a Common Lisp REPL
Abstractions and utilities to get rid of boilerplate code in business logic
- datastructures
- generic
- go
- golang
Facility, Prosperity and Maintainability.
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Database URL parser for Elixir
- database
- elixir
- hacktoberfest
A Lua VM in Go
Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)
- binary
- compiler
- runtime
- csharp