Trending repositories for language OCaml
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, and Terragrunt operations via pull reque...
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.
Adds static typing to JavaScript to improve developer productivity and code quality.
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
Systems language with linear types and capability-based security.
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
A mixture of tooling combined to produce JavaScript from OCaml & Reason
Systems language with linear types and capability-based security.
magic-trace collects and displays high-resolution traces of what a process is doing
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
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.
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
magic-trace collects and displays high-resolution traces of what a process is doing
Programming language for literate programming law specification
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
A code rewrite tool for structural search and replace that supports ~every language.
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
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, and Terragrunt operations via pull reque...
The project includes a variety of recursive functions to compute and manipulate sequences, count specific occurrences within lists, and apply transformations, demonstrating the elegance and power of f...
Materials for the class "Implementation of Programming Languages" in Kyoto University.
A mixture of tooling combined to produce JavaScript from OCaml & Reason
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Simple high-level language for writing Internet Computer canisters
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
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.
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.
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
A high performance, memory efficient, and scalable web server written in OCaml
A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints
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, and Terragrunt operations via pull reque...
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
The project includes a variety of recursive functions to compute and manipulate sequences, count specific occurrences within lists, and apply transformations, demonstrating the elegance and power of f...
Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.
Automatically generates OCaml FFI bindings and C shim code to C/C++ libraries
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
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...
Terrateam is an open-source GitOps CI/CD platform for automating infrastructure workflows. It integrates with GitHub to orchestrate Terraform, OpenTofu, CDKTF, and Terragrunt operations via pull reque...
The fastest pixel-by-pixel image visual difference tool in the world.
Systems language with linear types and capability-based security.
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, and Terragrunt operations via pull reque...
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers
A fancy diagnostics library that allows your compilers to exit with grace