TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

Write ahead Raft log for Go

A collection of modern/faster/saner alternatives to common unix commands.

Consul is a distributed, highly available, and data center aware solution to connect and configure applications across dynamic, distributed infrastructure.

Kafka-style message streaming in Go. Built on NATS. Single binary, no JVM, no ZooKeeper.

A fast linearizability checker written in Go 🔎

LetsEncrypt utility client for WebFaction hosts.

Navigate relational DBs with ease

HyperDex is a scalable, searchable key-value store

A collection of PHP utility classes

Logic-less View/Mustache Module for Kohana v3

A Lightweight Ruby MVC Web Framework

XML module for Kohana 3 PHP Framework. Works with extendible, write-your-own drivers.

A form builder for Kohana

The Kohana Jelly module's official website

Kohana user guide and live API documentation module

Kohana 3 Xhtml and Head Module

Another ACL for Kohana 3. Please see README.md for a justification of this indulgence.

See the link below for the most up-to-date code

Object modeling system for Kohana, inspired by Django

Updates to Kohana database

NO LONGER MAINTAINED - If you want to take over maintenance, message me. More complete and secure Auth using Sprig ORM for Kohana 3.0. Uses distributed random salt for password hashing. A separate …

DEPRECATED - DO NOT USE THIS - Kohaha/unittest is now PHPUnit based and I will not be maintaining this code

NO LONGER MAINTAINED - If you want to take over maintenance, message meAn MPTT extension for shadowhand's Sprig modelling system for Kohana

Kohana ORM

Kohana user guide and live API documentation module

THIS IS NOW AN UNMAINTAINED FORK! USE digitaljohn/kohana-email INSTEAD

Object modeling system for Kohana, inspired by Django

Git mirror of php-fpm