Statistics for language OCaml
RepositoryStats tracks 609,392 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...
Compiler for the M language, used to compute the income tax of French taxpayers
🔎 Static code analysis engine to find security issues in code.
Compiler for the M language, used to compute the income tax of French taxpayers
Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
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...
🔎 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...
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.
Compiler for the M language, used to compute the income tax of French taxpayers
OCaml code generator and runtime library for handling typed tree-sitter CSTs
🔎 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...
📜 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.
A (still naive, incomplete and unstable) programming language based on Girard's transcendental syntax
📜 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...
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