This repository is archived

Name		Name	Last commit message	Last commit date
Latest commit History 15,449 Commits
.ci		.ci
.devcontainer		.devcontainer
.github/workflows		.github/workflows
.gitlab/merge_request_templates		.gitlab/merge_request_templates
HomebrewFormula		HomebrewFormula
changelog-tools		changelog-tools
changelog		changelog
configurator		configurator
danger		danger
gitlab-pages		gitlab-pages
lib		lib
nix		nix
scripts		scripts
src		src
tools		tools
vendored-dune		vendored-dune
vendors		vendors
.dockerignore		.dockerignore
.envrc		.envrc
.gitattributes		.gitattributes
.gitignore		.gitignore
.gitlab-ci.yml		.gitlab-ci.yml
.gitmodules		.gitmodules
.ocamlformat		.ocamlformat
.ocamlformat-ignore		.ocamlformat-ignore
.xrefcheck.yaml		.xrefcheck.yaml
CONTRIBUTORS.md		CONTRIBUTORS.md
Dockerfile		Dockerfile
INSTALL.md		INSTALL.md
LICENSE.md		LICENSE.md
Makefile		Makefile
README.md		README.md
dune		dune
dune-project		dune-project
flake.lock		flake.lock
flake.nix		flake.nix
ligo.opam		ligo.opam
ligo.opam.locked		ligo.opam.locked
ligo.opam.template		ligo.opam.template
repo		repo

Navigation Menu