Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
Repository Index
47,133 repositories indexed
1,945–1,968 of 2,293 · Most stars
Backport for type hinting generics in standard collections and union types as X | Y
High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).
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
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
Variadic aritity tree with a zipper for Elixir!
COM-wrapper of Cloo to execute OpenCL code from VBA/Excel.
- excel
- excel-vba
- vbscript
- vba
Capstone Disassembler Library Binding for Delphi
- disassembler
- assembler
- pascal
- delphi
Crystal shard aiming to assist with parsing backtraces into a structured form.
- crystal
- stacktrace
- parser
kafka pascal, freepascal bindings using librdkafka and zeromq
Micropython wrapper for FastLZ, a lightning-fast lossless compression library
Clojure-compatible threading/transformation/arrow macros for Common Lisp
Minimal cgo bindings for libenca
Blen2d4Delphi is alive again, which was started by #neslib (Erik van Bilsen: https://github.com/neslib/DelphiBlend2D)
Crystal bindings for Monocypher
The repository host gives no description.
pipelines contains generic functions for concurrent processing
- concurrency
- go
- golang
- pipelines
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