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.

Highly concurrent drop-in replacement for bufio.Writer

• golang
• concurrent
• io
• multithreading

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

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

• coq
• theorems

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

Go bingings for GD (https://libgd.github.io/)

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

Lightweight promises for iOS, macOS, tvOS, watchOS, and Linux

• swift
• ios
• tvos
• macos

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.

Extensible event loop and async-oriented IO for Scala Native; powered by libuv

Clojure wrapper for the Tesseract OCR software

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