Repository Index

Compilation and Verification of Data-Centric Languages

• verification
• query-language
• query-engine
• functional-programming

A Coreader-like Dependency Injection μFramework

• dependency-injection
• coreader
• functional-programming
• ios

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

A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.

• lisp
• common-lisp
• generics
• polymorphic-functions

Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code

Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml

• ocaml
• linenoise
• readline
• standalone

Function composition

High performance utility functions using Generics

• filter
• functional
• generics
• go

Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]

• coq
• mathcomp
• 2-3-tree
• avl-tree

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]

Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions

• gatling
• performance
• performance-testing
• gatling-plugin

Zero-dependency Go implementation of the Unix getopt function, tested against GNU libc.

• cli
• getopt
• gnu
• go

(almost) Fully functional GraphQL request parser written completely using TypeScript's typing system

Do notation pipes for Promise-based or pure functions which easy to mock

• do-notation
• functional-programming
• mock
• pipe