Repository Index

Cross-platform asynchronous I/O

• asynchronous
• io
• networking
• unix

uniVocity-parsers is a suite of extremely fast and reliable parsers for Java. It provides a consistent interface for handling different file formats, and a solid framework for the development of new parsers.

Docile keeps your Ruby DSLs tame and well-behaved

• dsl
• ruby
• builder-pattern
• immutability

Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.

• uno
• uno-platform
• webassembly
• wasm

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action