About
Temporary fork of Ligo 0.60 allowing a speedup of Checker compilation
MIT License
Languages
Language:OCaml 47.8%Language:LigoLANG 22.5%Language:Haskell 9.3%Language:JavaScript 8.9%Language:TypeScript 6.4%Language:Coq 1.1%Language:Standard ML 0.9%Language:Shell 0.7%Language:CSS 0.4%Language:Nix 0.4%Language:SCSS 0.3%Language:Ruby 0.2%Language:Emacs Lisp 0.2%Language:Dockerfile 0.1%Language:Mustache 0.1%Language:Vim Script 0.1%Language:C 0.1%Language:Python 0.1%Language:HTML 0.1%Language:Makefile 0.1%Language:NSIS 0.0%