An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp
Repository Index
47,133 repositories indexed
769–792 of 886 · Most stars
Simple Groovy options library
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
Pure functions for slices.
- golang
- go
- generics
Kotlin recursion schemes with Arrow
- recursion-schemes
- kotlin
- functional-programming
- recursive-structures
Javascript recursion schemes compatible with flow-static-land
The GMap iteration macro, plus a few other useful macros.
Monadic Assertions library
🚧 Flexible mechanism to make execution flow interruptible.
- hacktoberfest
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
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
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
Micropython wrapper for FastLZ, a lightning-fast lossless compression library
Clojure-compatible threading/transformation/arrow macros for Common Lisp
pipelines contains generic functions for concurrent processing
- concurrency
- go
- golang
- pipelines
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)
a NIF for libntru. NTRU is a post quantum cryptography algorithm.
- ntru
- cryptography
- encryption
- lattice-based-crypto
Haskell bindings to Colin Percival's scrypt implementation.