Trending repositories for topic ocaml
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
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...
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
A parametric generator for designing split, concave, ergonomic keyboards written in ocaml.
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Static website generator based on HTML element tree rewriting
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
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 framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
A parametric generator for designing split, concave, ergonomic keyboards written in ocaml.
Static website generator based on HTML element tree rewriting
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
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...
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Cool open source projects. Choose your project and get involved in Open Source development now.
Server render Reason React components with OCaml natively
A parametric generator for designing split, concave, ergonomic keyboards written in ocaml.
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...
Server render Reason React components with OCaml natively
A parametric generator for designing split, concave, ergonomic keyboards written in ocaml.
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
Repositório de soluções de exercícios do URI Online Judge.
Static website generator based on HTML element tree rewriting
Type-safe styled components for ReScript, Melange and native with type-safe CSS
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
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...
Cool open source projects. Choose your project and get involved in Open Source development now.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
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...
🦠 An experimental elaborator for dependent type theory using effects and handlers
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
Server render Reason React components with OCaml natively
An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
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...
This repository contains examples to help on understanding what are and how to write PPXs in OCaml.
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Cool open source projects. Choose your project and get involved in Open Source development now.
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers
This repository contains examples to help on understanding what are and how to write PPXs in OCaml.
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
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...
Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collapsible HTML or Markdown trees with highlights.
Github test mirror of the Octez software. Please do not submit pull-requests here!
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.