Trending repositories for language OCaml
🔎 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...
Adds static typing to JavaScript to improve developer productivity and code quality.
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...
Systems language with linear types and capability-based security.
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
A code rewrite tool for structural search and replace that supports ~every language.
magic-trace collects and displays high-resolution traces of what a process is doing
File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.
🔎 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...
File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/
Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.
Systems language with linear types and capability-based security.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
Connect processes into powerful data pipelines with a simple git-like filesystem interface
A code rewrite tool for structural search and replace that supports ~every 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...
Adds static typing to JavaScript to improve developer productivity and code quality.
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...
magic-trace collects and displays high-resolution traces of what a process is doing
A code rewrite tool for structural search and replace that supports ~every language.
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
Connect processes into powerful data pipelines with a simple git-like filesystem interface
🔎 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.
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...
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...
magic-trace collects and displays high-resolution traces of what a process is doing
Adds static typing to JavaScript to improve developer productivity and code quality.
📜 CCL: Categorical Configuration Language, The most elegant configuration language
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
Programming language for literate programming law specification
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
The fastest pixel-by-pixel image visual difference tool in the world.
🔎 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
Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles
An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
Compiler for the M language, used to compute the income tax of French taxpayers
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
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
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
An experimental programming language that combines effect handlers and implicit parameters
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...
magic-trace collects and displays high-resolution traces of what a process is doing
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...
The fastest pixel-by-pixel image visual difference tool in the world.
📜 CCL: Categorical Configuration Language, The most elegant configuration language
A code rewrite tool for structural search and replace that supports ~every 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...
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles