Repository Index

A foundational framework for modular cryptographic proofs in Coq

• cryptography
• coq-library
• coq-formalization
• state-separating-proofs

[READ-ONLY] Collection library in CakePHP. This repo is a split of the main code that can be found in https://github.com/cakephp/cakephp

A math and collisions library for Lua.

• math
• intersection
• lua

A pure Ruby interface to the WordNet database

• wordnet
• wordnet-tags
• nlp-library
• ruby

ColdFusion payment processing library makes plumbing e-commerce apps easy. Charging credit cards has never been easier. Inspired by Ruby's ActiveMerchant.

• cfml
• coldfusion

go implementation of lightbend's HOCON configuration library https://github.com/lightbend/config

• golang
• go
• hocon
• hocon-configuration

A GDScript port of Delaunator: A fast library for Delaunay triangulation of 2D points.

• computational-geometry
• algorithm
• gdscript
• delaunay

NIH Utility Library

Ruby port of the NLTK Punkt sentence segmentation algorithm

• rubynlp
• sentence-tokenizer
• ruby
• sentence-boundaries

An elixir date/time library

A library for easy integration of a flexible circular WidgetGroup within libGDX

• pie-menu
• libgdx
• game-development
• ui

JavaScript library for rendering IMSC Text and Image Profile documents to HTML5

• ttml
• polyfill
• captions
• ebu-tt-d

Port of Python's Turtle to C++

• turtle
• python
• cpp-library
• port

Object-based Database Interaction for VBA. Create SQL Statements with VBA objects instead of string concatination.

• vba-excel
• sql
• library

Go(lang) client library for Cachet (open source status page system).

A Go library for performing Unicode Text Segmentation as described in Unicode Standard Annex #29

An Elixir library for performing 2D and 3D mathematics.

• elixir-lang
• matrices
• vector
• graphics

A ClojureScript library for keeping your state in step

:pencil: Loki is library that includes helpers for building powerful interactive command line applications, tasks, modules.

• loki
• elixir-lang
• elixir-phoenix
• elixir-library

File system path manipulation library

• lua
• filesystem

An UnderscoreJS port for Coldfusion. Functional programming library.

• coldfusion

A TypeScript/JavaScript wrapper for the Steamworks SDK using Koffi FFI, designed for Node.js and Electron applications with Steamworks SDK integration.

• electron
• nodejs
• steam
• steamworks

Verbal-Exprejon is a Clojure library that helps you build complex regexes without any regex

Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.

• supercollider
• lisp
• synth
• sequencer