Discover OCamlPro/ocp-typechecker Open Source project by @OCamlPro

Stars
7
Rank 2,294,772 (Top 46 %)
Language M4
License
Other
Created almost 8 years ago
Updated almost 7 years ago

OCamlPro

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A tool to verify types inferred by OCaml

ocp-indent

Indentation tool for OCaml, to be used from editors like Emacs and Vim.

OCaml

201

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.

OCaml

184

liquidity

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

OCaml

158

alt-ergo

OCamlPro public development repository for Alt-Ergo

OCaml

133

ocaml-cheat-sheets

OCaml Documentations as one-pagers, easy to keep useful commands in mind

TeX

128

owi

WebAssembly Swissknife & cross-language bugfinder

OCaml

127

ollvm

An higher-level LLVM binding for OCaml

OCaml

125

tryocaml

An interactive tutorial to begin learning with OCaml

JavaScript

dirdiff

Efficiently compute the differences between two directories

Rust

ocaml-top

A simple cross-platform OCaml code editor built for top-level evaluation.

OCaml

ocp-index

Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.

OCaml

ocaml-canvas

The OCaml-Canvas library provides a portable Canvas for OCaml

wasocaml

OCaml

numcaml

Scientific Computing Tools For OCaml

OCaml

directories

directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows. The following conventions are used: XDG Base Directory Specification and xdg-user-dirs on Linux, Known Folders on Windows, Standard Directories on macOS.

OCaml

ocpwin-distrib

Knowledge Database for OCamlPro's version of OCaml on Windows

Batchfile

ocaml-solidity

Ocaml-solidity provides a Solidity parser and typechecker

OCaml

OCamlPro-OCaml-Branch

This is a fork of the inline-more branch in the OCaml SVN repository.

OCaml

wxOCaml

a WxWidgets binding for OCaml

memthol

Memthol is a visualizer for memory profiling data generated from OCaml programs.

Rust

ocplib-json-typed

Libraries for reliable manipulation JSON objects.

OCaml

ocb

ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.

Standard ML

mikino_bin

A simple induction and BMC engine.

Rust

ocp-ocamlres

A simple tool and library to embed files and directories inside an OCaml executables

OCaml

typerex-lint

Tools to manipulate source files (linting, patching, etc.)

OCaml

ez_api

Easily build clients and servers on top of a common REST API, automatically derived from OCaml types.

OCaml

techelson

A test execution engine for Michelson smart contracts.

OCaml

opam-bin

Binary packages for OPAM with local and remote repositories

OCaml

ocplib-resto

A minimal OCaml library for type-safe HTTP/JSON RPCs

OCaml

freeton_wallet

The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.

OCaml

ezjs

Some useful libraries to work with `js_of_ocaml`

OCaml

optal

A new language for optimization

OCaml

ocplib-endian

Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.

OCaml

agrid

agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding or removing row/column at either end (one at a time).

ez_cmdliner

flambda-task-force

ocplib-simplex

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

OCaml

tzscan

The TzScan block explorer for Tezos

socaml-analyzer

OCaml

ocamlexc

OCaml uncaught exception analyser

OCaml

digodoc

Dig into an opam switch for doc

OCaml

scilint

A tool to analyze Scilab projects to find potential bugs

OCaml

opam-manager

OCaml

SecurOCaml

Repository of the SecurOCaml Project

OCaml

ocaml-perf

binding for linux-perf library for OCaml

OCaml

matla

A manager for TLA+ projects, written in Rust.

Rust

freeton_ocaml_sdk

A binding to the Everscale Rust library from OCaml.

OCaml

relocation-patches

A repository of patches to make OPAM packages relocatable

Shell

operf-micro

A set of micro-benchmarks for OCaml compiler

OCaml

ezjs_fetch

Bindings for Fetch

OCaml

opam-wix

opam-wix is opam plugin that creates msi installation file to install packages and binaries on Windows.

OCaml

ez_pgocaml

OCaml

ezjs_min

A bunch of js_of_ocaml shortcuts

OCaml

ez_search

Simple module to search in a set of files

OCaml

operf-macro

Some macro-benchmarks for operf and an OPAM repository for them

OCaml

typerex-lldb

An OCaml binding to the LLDB Debugging Framework

OCaml

ocaml-benchs

Sources of the set of benchmarks distributed in OCamlPro/opam-bench-repo

OCaml

ows

A service to analyse the state of the opam repository w.r.t. all available version of the OCaml compiler.

JavaScript

ocp-build

See www.typerex.org to download ocp-build

OCaml

ocplib-i18n

OCaml

ocp-reveal

An OCaml binding for reveal.js, a html presentation framework.

OCaml

ez_file

Library with helpers to manipulate files, read/write their content, search directories, etc.

OCaml

opam-builder

OCaml

ocamltk

the initial ocaml tk library

OCaml

jit_ocaml

A JIT in OCaml for Scilab (part of the Richelieu FUI project)

OCaml

ez_opam_file

a compatibility library for opam-file-format

OCaml

ezjs_ace

Bindings for the Ace editor

OCaml

typerex-attic

A set of simple tools and libraries that we developed over the years for temporary OCaml projects. Most of them are only maintained/improved when we need them for a task.

ISN-OCaml

Les exemples de code de l'option ISN (Informatique & Sciences du Numérique) en OCaml

C++

ocp-reloc

OCaml bytecode relocation

OCaml

liq_game

OCaml

richelieu

OCamlPro working copy of the Richelieu branch of Scilab 6

Scilab

verification_for_dummies

Induction as a formal program verification technique for the uninitiated, written in Rust.

Rust

ez_config

Library to read/write configuration files in OCaml syntax

OCaml

ocamlbench-repo

An opam 2.0 repository holding the definition for benches on bench.flambda.ocamlpro.com

perfOCaml-2014

an environment to evaluate the performance of OCaml compilers and programs

TeX

ez_text_renderer

ocplib-cmi

Small library to work with OCaml cmi files

OCaml

ez_subst

Simple substitution module for OCaml

OCaml

ocaml-materialize

Javascript Binding on Materialize

OCaml

niagara-lang

Compiler for the Niagara language

OCaml

superbol-vscode-extension

A VSCode extension for COBOL

OCaml

cargo-graph

Display a graph from the Cargo packages in a Rust project

OCaml

ocplib_stuff

This library contains some basic stuff that is used in some OCP libraries and applications. Most of them are probably available in other extensions of the standard libraries (extlib, core, etc.), but we are used to these ones.

OCaml

ocamlc-plugins

Examples of plugins for ocamlc/ocamlopt

OCaml

ezjs_blockies

Bindings for Blockies

OCaml

www.freeton.link

A directory of resources on Free TON

Python

ezjs_recaptcha

OCaml bindings for reCAPTCHA

OCaml

opam-bin-repository

Repository for `opam-bin`

Shell

ucf-rddl

OCaml

ezjs_cleave

OCaml bindings for Cleave JS

OCaml

ezjs_idb

Js_of_ocaml bindings for IndexedDB

OCaml

ezjs_d3pie

OCaml bindings for d3pie

OCaml

swhid_core

OCaml

ocp-cplugins

Collection of plugins for CAML_CPLUGINS

opam-bench-repo

Set of benchmarks for OCaml organized as an OPAM repository

ezjs_push

OCaml bindings for Push Notification

OCaml

swhid

swhid is an OCaml library to work with persistent identifiers found in Software Heritage, also known as swhid

OCaml

ezjs_qrcode

OCaml bindings for QRCode.js

OCaml

100

opam-custom-install

An opam plugin to install a package using a custom command

OCaml

OCamlPro/ocp-typechecker

OCamlPro

Reviews

Repository Details

More Repositories