general purpose utils for interacting with vert.x
Repository Index
47,133 repositories indexed
745–768 of 853 · Most stars
Javascript recursion schemes compatible with flow-static-land
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
The GMap iteration macro, plus a few other useful macros.
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Dynamic and static D bindings for bgfx
Read, modify, and write Common Lisp source code while preserving whitespace and comments
OCaml bindings for OpenGL
- opengl
- ocaml
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
Rate limiter and overload protection for erlang application
A web framework for writing react components in common lisp using jscl
Go option and result types that optionally contain a value
- golang
- option
- result
- error
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action
Lazy iterator implementation for Golang
- golang
- iterator
- golang-package
- golang-module
Static & dynamic D bindings to the FreeType library, compatible with BetterC, @nogc, and nothrow.
- bindbc
- dlang
- freetype
- freetype-bindings
Variadic aritity tree with a zipper for Elixir!
Crystal shard aiming to assist with parsing backtraces into a structured form.
- crystal
- stacktrace
- parser
Minimal cgo bindings for libenca
Blen2d4Delphi is alive again, which was started by #neslib (Erik van Bilsen: https://github.com/neslib/DelphiBlend2D)
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 parser for Forsyth-Edwards Notation (for encoding chess positions)
Static & dynamic D bindings to the C API of Lua, compatible with BetterC, @nogc, and nothrow.
- bindbc
- lua
- lua-bindings
- dlang
A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.
- golang
- go
- goroutine
a NIF for libntru. NTRU is a post quantum cryptography algorithm.
- ntru
- cryptography
- encryption
- lattice-based-crypto