Repository Index

A static analyzer for Java, C, C++, and Objective-C

• static-analysis
• static-code-analysis
• code-quality
• java

:camera: git-based selfies for software developers

• git
• git-addons
• webcam
• selfie

MirageOS is a library operating system that constructs unikernels

• mirageos
• unikernel
• xen
• kvm

A composable build system for OCaml.

• build
• ocaml
• opam
• dune

OCaml Language Server Protocol implementation

package.json workflow for native development with Reason/OCaml

A portable fork of the high-performance regular expression matching library

• hyperscan
• regex
• simd
• vectorscan

Auto-formatter for OCaml code

• ocaml

A GitHub API bridge for Laravel

• hacktoberfest

C Intermediate Language

Pure OCaml Git format and protocol

• git
• ocaml

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

OCaml debug adapter

• debugger
• debug-adapter-protocol
• ocaml

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.

Typed Regular Expressions

• regex
• types
• gadt
• ocaml

OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.

• diff
• snapshot-testing
• testing
• snapshot

A cross-platform build tool for LÖVE

• love2d
• lua
• build-tool
• rust

OCaml code generator plugin for the Cap'n Proto serialization framework

Hide secrets like API keys, passwords and tokens in Neovim while screen sharing or streaming. Masks .env, JSON, YAML, TOML, XML, .http, Terraform/HCL and Dockerfiles with extmarks, without changing the file. Presentation mode, screen shield, picker and terminal masking.

• dotenv
• lua
• neovim
• neovim-plugin

Arduino CMake Build system

simple package build system for ocaml

A fully-modular OCaml style linter

OCaml build rules for Bazel

• ocaml
• bazel
• skylark
• bazel-rules