Repository Index

Safe and easy to use crypto for iOS and macOS

• cryptography
• swift
• libsodium

[unmaintained] Scala wrapper for Apache TinkerPop 3 Graph DSL

• gremlin
• scala
• graph-database
• graph

Language for high-assurance and high-speed cryptography

• compiler
• language
• coq

Cypher for Gremlin adds Cypher support to any Gremlin graph database.

• tinkerpop
• tinkerpop3
• gremlin
• cypher

A graphql query language and schema definition language parser and formatter for rust

• rust
• graphql-query-language
• graphql
• schema

Managed .NET wrapper for unmanaged PKCS#11 libraries

• pkcs
• pkcs11
• security
• crypto

A GTK / Fortran binding, and its documentation (in the Wiki tab).

• fortran
• gui
• gtk
• cross-platform

C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.

• coroutines
• cpp
• cpp20
• lock-free

ReScript bindings for Formidable's Universal React Query Library, urql.

• reasonml
• graphql
• reasonreact
• bucklescript

A lexer and parser for GraphQL in .NET

• lexer
• graphql
• parse
• ast

state machine which runs code

• golang
• workflows
• state-machine
• actor-model

Modern cryptography (libsodium/NaCl) for Clojure

Delphi wrapper for OpenSSL

• cryptography
• delphi
• openssl
• rsa

A realtime visual programming language for interactive media.

• clang
• llvm
• visual-programming-language
• compiler

Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.

• taproot
• secp256k1
• swift
• schnorr

The asynchronous version of Elixir's "with", resolving the dependency graph and executing the clauses in the most performant way possible!

• elixir
• async

Go binding for the cairo graphics library

Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.

• charts
• cpp
• graphs
• plotly

A parser/renderer for Aseprite animations in LÖVE. :peach:

• love2d
• love
• love2d-framework
• animation

Ada bindings for the GTK+ graphical library.

Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs

• glfw
• glfw3
• glfw3-bindings
• java

Pure Go FFI for WebGPU - CGO-free GPU access via wgpu-native bindings

• cgo-free
• ffi
• go
• golang

IGraph/M is the igraph interface for Mathematica

• igraph
• mathematica
• mathematics
• network-graph

A foundational framework for modular cryptographic proofs in Coq

• cryptography
• coq-library
• coq-formalization
• state-separating-proofs