Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Repository Index
47,133 repositories indexed
97–120 of 147 · Most stars
Coroutines for GameMaker
- gamemaker
- gamemaker-studio-2
- gms2
- coroutines
Fast Ruby FFI string edit distance algorithms
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
Simple Node.JS stream (streams2) Transform that runs the transform functions concurrently (with a set max concurrency)
Load Common Lisp code blocks from Org files
- literate
- programming
- lisp
- org
A collection of classes to give a fluent builder for Streams (Lazy Groovy Generators)
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption
- cryptography
- nettle
- encryption
- hash-algorithms
Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.
Permutations and permutation groups in Common Lisp.
- permutations
- permutation-groups
- permutation-algorithms
- lisp
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language
Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS
- scala
- scala-native
- math
- linear-algebra
nanomsg bindings for ocaml
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
A debugger backend and LUA wrapper for PIN
Lexer in Elixir. Lexer in Elixir. Lexer in Elixir. Lexer in Elixir. Lexer in Elixir. Lexer in Elixir. Lexer in Elixir. Lexer in Elixir. Lexer in Elixir. Lexer in Elixir.
An embeddable implementation of the Ngaro Virtual Machine for Go programs