An enhanced unification algorithm for Coq
Repository Index
47,133 repositories indexed
433–456 of 551 · Most stars
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
Elixir library implementing a parallel matrix multiplication algorithm and other utilities for working with matrices. Used for benchmarking computationally intensive concurrent code.
Data structures and algorithms in OCaml
Simple full text indexing and searching library for Java
- inverted-index
- search-engine
- search-algorithm
- indexing
An Elixir implementation of the CONREC algorithm for topographic or isochrone maps.
- gis
- conrec
- map
- elixir
Parameter Optimization for Lean Algorithms
- lean
- optimization
- blazor
- sharpe-ratio
Permutations and permutation groups in Common Lisp.
- permutations
- permutation-groups
- permutation-algorithms
- lisp
An extensible .NET genetic algorithm library for optimization and artificial intelligence - Evolutionary computation and complex problem solving made simple
- artificial-intelligence
- csharp
- dotnet
- evolutionary-algorithm
Implementation of the superpixel algorithm called SEEDS [1].
- superpixels
- superpixel-algorithm
- opencv
- computer-vision
Realtime benchmarks for PHP code
- gnuplot
- algorithms
- realtime
- benchmark
AI crypto trading bot with deep neural network (84.9% accuracy, 25 coins). BiLSTM + Attention trained on GPU. Bybit, Binance, OKX, Gate.io. Free cloud or self-hosted.
A simple graph library for java
- java
- graphs
- graph
- graph-algorithms
My algorithmic trading strategies with the Gekko cryptocurrency trading bot.
- gekko-strategies
- trading-strategies
- machine-learning-algorithms
- neural-networks
A fast, simple, memory-efficient graph layout algorithm for visualizing networks in D3
- javascript
- d3js
- graph
- visualization
Library for encoding of binary data into strings using base32, base85, base128 and other algorithms for FPC and Delphi.
- base
- encoding
- pascal
- fpc
iOS validation framework with form validation support
- validation
- validator
- form
- validation-library
Data Structures and streaming algorithms for Common Lisp.
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
A Crystal port of awesome Fzy project, a fuzzy finder algorithm.
- fzy
- fuzzy-search
- crystal
A fast float to string algorithm based on schubfach.
- ieee754
- performance
- printing
k-modes and k-prototypes clustering algorithms implementation in Go
- golang
- go
- machine-learning
- cluster
AS3 port of hxGeomAlgo - Small collection of geometry algorithms in Haxe 3.
A* pathfinding library in Swift.
- protocol-oriented
- playground
- pathfinder
- pathfinding-algorithm