Pierrot (Halbaroth)

Halbaroth

Geek Repo

Company:@Ocamlpro

Location:Paris

Github PK Tool:Github PK Tool

Pierrot's repositories

ocp-indent.nvim

Integration plugin for ocp-indent in Neovim

Language:LuaLicense:GPL-3.0Stargazers:1Issues:1Issues:0

algo

Algorithms

Language:OCamlStargazers:0Issues:1Issues:0

alt-ergo

OCamlPro public development repository for Alt-Ergo

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:1Issues:0

ast-grep

⚡A CLI tool for code structrual search, lint and rewriting. Written in Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0

benchpress

Testing and benchmarking tool for logic-related programs.

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

benchtop

A web interface for Benchpress

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

bitpack_serializer

This library provides functions for encoding efficiently simple OCaml data.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

calc

A naive calculator in OCaml

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:1Issues:0

dolmen

An OCaml library providing clean and flexible parser for languages used in automated deduction

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

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.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocplib-simplex

A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

tree-sitter-smtlib2

SMT-LIBv2 grammar for tree-sitter

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

Comment.nvim

:brain: :muscle: // Smart and powerful comment plugin for neovim. Supports treesitter, dot repeat, left-right/up-down motions, hooks, and more

License:MITStargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:1Issues:0

encoding

An OCaml abstraction layer for constraint solvers.

License:GPL-3.0Stargazers:0Issues:0Issues:0

highlight.js

JavaScript syntax highlighter with language auto-detection and zero dependencies.

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

luthor

A naive regexp library

Language:OCamlStargazers:0Issues:1Issues:0
Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

nvim-lspconfig

Quickstart configs for Nvim LSP

Language:LuaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

License:MITStargazers:0Issues:0Issues:0

ocaml-rusage

OCaml bindings for the GETRUSAGE(2) syscall.

License:MITStargazers:0Issues:0Issues:0

oh-my-fish

The Fish Shell Framework

License:MITStargazers:0Issues:0Issues:0

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

License:NOASSERTIONStargazers:0Issues:0Issues:0

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:0Issues:0

owi

OCaml WebAssembly Interpreter

Language:WebAssemblyLicense:ISCStargazers:0Issues:0Issues:0

psmt2-frontend

A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rsmt2

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0