immutable primitive array/NonEmptyArray wrapper for Scala
- data-structures
- scala
- primitive-arrays
- scala-js
Repository Index
78,351 visible repositories in the index
193–216 of 245 · Most stars
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Generate images from Graphviz dot strings in Clojure and Clojurescript
Clj-crypto is a wrapper for Bouncy Castle which allows you to easily use cryptography in your clojure app.
V wrapper around the C Java Native Interface
- java
- jni
- kotlin
- android
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
A library that brings all the CSP joy to the Elixir land.
Simple Shopify API for the Go Programming Language
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
Elixir binding for libgraphqlparser
V Wrapper For ZMQ
- vlang
- zmq
- networking
- v
Crystal shard wrapping libgphoto2
- libgphoto2
- crystal
- photography
- gphoto2
Simple Hunspell wrapper for Delphi
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Live graphs of worldwide CoVID-19 data
- covid-19
- coronavirus
- coronavirus-tracker
- rust
A Delphi wrapper for WinSparkle
COM-wrapper of Cloo to execute OpenCL code from VBA/Excel.
- excel
- excel-vba
- vbscript
- vba
Micropython wrapper for FastLZ, a lightning-fast lossless compression library
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
a NIF for libntru. NTRU is a post quantum cryptography algorithm.
- ntru
- cryptography
- encryption
- lattice-based-crypto
Lua wrapper arount the Tweet NaCl cryptographic library
Common Lisp bindings to the C++ NDB API of RonDB
Common Lisp CFFI bindings to the Horde3D graphics library.
Fast LZMA2 Wrapper for .NET
- compression
- dotnet
- lzma2
- nuget