halbaroth Goto Github PK

algo

Algorithms

alt-ergo

OCamlPro public development repository for Alt-Ergo

alter_ego

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.

calc

A naive calculator in OCaml

comment.nvim

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

dimacs

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.

encoding

An OCaml abstraction layer for constraint solvers.

highlight.js

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

lablgtk

LablGTK 2 and 3: an interface to the GIMP Tool Kit

luthor

A naive regexp library

mazout

minisat

msat

A modular sat/smt solver with proof output.

nvim-lspconfig

Quickstart configs for Nvim LSP

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

ocaml-rusage

OCaml bindings for the GETRUSAGE(2) syscall.

ocp-indent.nvim

Integration plugin for ocp-indent in Neovim

ocplib-simplex

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

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.