Repository Index

MySQL Backed Locking Primitive

• golang
• go
• distributed-lock
• mysql

A collection of classes to give a fluent builder for Streams (Lazy Groovy Generators)

Superior Lisp Interactive Mode for Pulsar

• common-lisp
• atom
• repl
• pulsar-package

Machine Learning & Data Mining with JRuby

• machine-learning
• ruby
• jruby
• weka

Golang source code parsing, usage like reflect package

• refactor
• metaprogramming
• go
• ast

An elixir module for parallel execution of functions/processes

Recursion schemes for Idris

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

Lua binging for Delphi

Common Lisp bindings and interface to the Allegro 5 game programming library

• common-lisp
• game-development
• allegro5
• bindings

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

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

• coq
• theorems

Compilation and Verification of Data-Centric Languages

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

BEAM friendly spinlocks for Elixir/Erlang

• concurrency
• concurrent-data-structure
• parallel-programming

A portable cross-platform pinvoke .NET wrapper around libsass to convert SCSS to CSS

• libsass
• dotnet
• dotnet-standard
• scss

Parse placeholder and wildcard text commands

• parsing
• go
• golang
• text

Generalized folds, unfolds, and traversals for fixed point data structures

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing

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

My personal website written in rust via yew/wasm

• yew
• rust
• wasm
• wasm-bindgen

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

• ocaml
• linenoise
• readline
• standalone

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