Statistics for language OCaml
RepositoryStats tracks 609,028 Github repositories, of these 721 are reported to use a primary language of OCaml.
Most starred repositories for language OCaml (view more)
Trending repositories for language OCaml (view more)
🔎 Static code analysis engine to find security issues in code.
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...
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 developme...
🔎 Static code analysis engine to find security issues in code.
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...
A (still naive, incomplete and unstable) programming language based on Girard's transcendental syntax
🔎 Static code analysis engine to find security issues in code.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...
📜 CCL: Categorical Configuration Language, The most elegant configuration language
🔎 Static code analysis engine to find security issues in code.
📜 CCL: Categorical Configuration Language, The most elegant configuration language
OCaml code generator and runtime library for handling typed tree-sitter CSTs
A (still naive, incomplete and unstable) programming language based on Girard's transcendental syntax
🔎 Static code analysis engine to find security issues in code.
📜 CCL: Categorical Configuration Language, The most elegant configuration language
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
📜 CCL: Categorical Configuration Language, The most elegant configuration language
A (still naive, incomplete and unstable) programming language based on Girard's transcendental syntax
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...
Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...
📜 CCL: Categorical Configuration Language, The most elegant configuration language
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
🔎 Static code analysis engine to find security issues in code.
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi operations via pu...
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
A (still naive, incomplete and unstable) programming language based on Girard's transcendental syntax