Pierrot's repositories
ocp-indent.nvim
Integration plugin for ocp-indent in Neovim
alt-ergo
OCamlPro public development repository for Alt-Ergo
ast-grep
⚡A CLI tool for code structrual search, lint and rewriting. Written in Rust
benchpress
Testing and benchmarking tool for logic-related programs.
benchtop
A web interface for Benchpress
bitpack_serializer
This library provides functions for encoding efficiently simple OCaml data.
dolmen
An OCaml library providing clean and flexible parser for languages used in automated deduction
drom
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.
ocplib-simplex
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
tree-sitter-smtlib2
SMT-LIBv2 grammar for tree-sitter
Comment.nvim
:brain: :muscle: // Smart and powerful comment plugin for neovim. Supports treesitter, dot repeat, left-right/up-down motions, hooks, and more
encoding
An OCaml abstraction layer for constraint solvers.
highlight.js
JavaScript syntax highlighter with language auto-detection and zero dependencies.
nvim-lspconfig
Quickstart configs for Nvim LSP
ocaml-effects-tutorial
Concurrent Programming with Effect Handlers
ocaml-rusage
OCaml bindings for the GETRUSAGE(2) syscall.
oh-my-fish
The Fish Shell Framework
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
opam-repository
Main public package repository for opam, the source package manager of OCaml.
owi
OCaml WebAssembly Interpreter
psmt2-frontend
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
rsmt2
A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.