The GMap iteration macro, plus a few other useful macros.
Repository Index
47,133 repositories indexed
985–1,008 of 1,152 · Most stars
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
A Mustache template compiler.
- mustache
- translator
- compiler
Live graphs of worldwide CoVID-19 data
- covid-19
- coronavirus
- coronavirus-tracker
- rust
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
Go option and result types that optionally contain a value
- golang
- option
- result
- error
AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)
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
kafka pascal, freepascal bindings using librdkafka and zeromq
Clojure-compatible threading/transformation/arrow macros for Common Lisp
Blen2d4Delphi is alive again, which was started by #neslib (Erik van Bilsen: https://github.com/neslib/DelphiBlend2D)
Seamless Interface to Octave -- and Matlab code
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
Ada binding for the Pebble Time smartwatch
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
An Object Pascal Client for NATS
- delphi
- lazarus
- pascal
- linux
Haskell bindings to Colin Percival's scrypt implementation.