Beast code in Giters

Marc Lasson's repositories

webgl-plot

A webgl 3d plotting library

Language:OCamlMIT4 20

opam-repository

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

Language:OCamlCC0-1.01 20

tooltips

Popper example on ocaml vdom

Language:OCaml1 20

AntennaPod

A podcast manager for Android

Language:JavaMIT020

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.1010

dune

A composable build system for OCaml.

Language:OCamlMIT020

fathom

Fathom Lite. Simple, privacy-focused website analytics. Built with Golang & Preact.

Language:GoMIT010

js-yacc-bug

Language:OCaml010

js_of_ocaml

Compiler from OCaml to Javascript.

Language:OCamlNOASSERTION000

lcsg

Legazioni, commissarie, scritti di governo

Language:JavaScript020

merlin

Context sensitive completion for OCaml in Vim and Emacs

Language:OCamlMIT020

mlasson.github.io

Github page

Language:HTML020

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlNOASSERTION020

ocaml-lsp

OCaml Language Server Protocol implementation

Language:OCamlNOASSERTION000

ocaml-vdom

Elm architecture and (V)DOM for OCaml

Language:OCamlMIT010

ocaml-win

Language:OCaml020

ppxlib

Base library and tools for ppx rewriters

Language:OCamlMIT010

vscode-ocaml-platform

Visual Studio Code extension for OCaml

Language:OCamlISC000

vscode-ocp-indent

Provide OCP-Indent in VSCode for Ocaml code formatting

Language:TypeScript000