Build powerful pipelines in any programming language.

Go5151apache-2.0

9 months ago

automationbuildcontinuous-delivery

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintain

Coq24mit

6 months ago

bourbakicoqdocker-coq-action

Gaia backend for levelup

TypeScript11apache-2.0

8 months ago

Gaia is a Terraform 🌍 UI for your modules, and self-service infrastructure 👨‍�

Java880mpl-2.0

last year

infrastructure-as-codeself-serviceservice-infrastructure

My changes to Bureau Oh My ZSH theme. I tried to push this trough a Pull Request

Shell5mit

last year

A genetic programming library for Clojure

Clojure100gpl-3.0

10 years ago

Gaia File storage abstraction through mechanisms like caching, transactions and

TypeScript1mit

5 years ago