Repository Index

Functional programming framework for Go.

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

CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.

Foundational Cryptography Framework for machine-checked proofs of cryptography.

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

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

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

• ocaml
• linenoise
• readline
• standalone

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

Function composition

The repository host gives no description.

Natural language generation language

• natural-language-generation
• nlg

Permutations and permutation groups in Common Lisp.

• permutations
• permutation-groups
• permutation-algorithms
• lisp

Generate Yew components from React components via Typescript type definitions

• yew
• proc-macro
• react
• typescript

A framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads

High performance utility functions using Generics

• filter
• functional
• generics
• go

Adobe AIR native extension for Microsofts Kinect v2 for Windows SDK

A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support

Relation algebra library for Coq

A drop-in modernization of jmoiron/sqlx that fixes lexer bugs, automates IN expansion, and adds pluggable hooks — built for Go 1.21+.

• mysql
• postgresql
• sqlx
• databases

Reactive computation tree library for non-blocking concurrent Common Lisp

• data-flow
• asynchronous
• common-lisp
• concurrency

Type-safe library for building parallel applications, built on top of Async's Rpc module.

Go 1.18+ polymorphic generic containers and functions.

• go
• golang
• generics