Repository Index

Machine Learning & Data Mining with JRuby

• machine-learning
• ruby
• jruby
• weka

a tool for handling file uploads simple

• file
• upload
• multipart
• http

An elixir module for parallel execution of functions/processes

Simple internal application messaging for Delphi

• dpmpackage
• delphi
• vsoft
• vcl

Recursion schemes for Idris

• idris
• recursion-schemes
• idris-ecosystem
• control-flow

Messaging system for communication between classes / layers in delphi

• delphi
• firemonkey
• vcl
• fmx

Translatedgo routine control, abstraction of the Main and some useful Executors. If you don't know how to manage Goroutines, use it

• goroutine
• crontab
• job-scheduler
• retry

Natural 🌿 effect system that fits TypeScript

• algebraic-effects
• computational-effects
• effect-system
• extensible-effects

The repository host gives no description.

JavaLoader is a library that has been built to ease the use, development and integration of Java within ColdFusion applications.

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.

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

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

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

dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.

• scala
• dfa
• regular-expression
• regular-expression-engine

Function composition

Natural language generation language

• natural-language-generation
• nlg

Permutations and permutation groups in Common Lisp.

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