Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
Repository Index
47,133 repositories indexed
49–68 of 68 · Most stars
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Command line tool for Bluetooth Low Energy MicroPython devices
- micropython
- python
- embedded
- cli
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
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 NIF for libntru. NTRU is a post quantum cryptography algorithm.
- ntru
- cryptography
- encryption
- lattice-based-crypto
The repository host gives no description.
- algokit
- lib
a functional library for coffeescript (and javascript)
Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.
- algokit
- lib
- experimetal
NBAda - An Ada library of lock-free data structures and algorithms.
Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language
- elixir
- elixir-lang
- distributed-systems
- hashing-algorithm
Abstractions and utilities to get rid of boilerplate code in business logic
- datastructures
- generic
- go
- golang
Generic one-liners to work with variables, slices and maps
- go
- golang
This is an Ada 2012 package that provides an interface to BLAS.
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
MicroPython bindings for some MbedTLS EC and x509 cert/csr functions.
- ecdsa
- mbedtls
- micropython
- tls
An expressive high level language for the Algorand block chain that compiles to TEAL code.
- blockchain
- algorand
- teal
- smartcontract
Dynamic and static bindings to SDL2_gfx, compatible with -betterC, @nogc, and nothrow.