Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / lepidum
Developer Profile

lepidum

Discovered public repositories for lepidum in the GitHub catalog.

↗

lepidum/http-2

Pure ruby framework and transport agnostic implementation of HTTP 2 protocol

↗

lepidum/hubot

A customizable, kegerator-powered life embetterment robot.

↗

lepidum/coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

↗

lepidum/lift

Lift Web Framework legacy repo [Relocated to http://github.com/lift/framework, http://github.com/lift/modules]

↗

lepidum/redmine

GITHUB OFFICIAL MIRROR OF THE MAIN SVN REPOSITORY. Redmine is a flexible project management web application written using Ruby on Rails framework.

↗

lepidum/chef

A systems integration framework, built to bring the benefits of configuration management to your entire infrastructure.

↗

lepidum/nanoc

nanoc is a web publishing system written in Ruby.

↗

lepidum/cyassl

CyaSSL is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud.

↗

lepidum/candy

JavaScript-based multi-user chat client for XMPP.

↗

lepidum/cookbooks

This repository has been split up into separate repositories by cookbook under the "opscode-cookbooks" organization.

↗

lepidum/etherpad-lite

An Etherpad based on node.js - Our goal is to make collaborative editing the standard on the web

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.