-
Maykin
- Amsterdam
Stars
9
stars
written in OCaml
Clear filter
Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.
A functional programming language with shell scripting capabilities
Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles
A simple, functional style GUI framework for native desktop apps