Pinned Repositories
coursera-aml-docker
Docker container with Jupyter Environment for Coursera "Advanced Machine Learning" specialization.
jstz
The JavaScript runtime that powers Tezos 2.0
Microbloging
ocaml
The core OCaml system: compilers, runtime system, base libraries
opam-repository
Main public package repository for opam, the source package manager of OCaml.
robomapeur_proto
tezos-packaging
Various forms of Tezos software distribution for Linux.
frap
Formal Reasoning About Programs
opam-repository
Main public package repository for opam, the source package manager of OCaml.
bogue
GUI library for ocaml based on SDL2
Lesenr1's Repositories
Lesenr1/jstz
The JavaScript runtime that powers Tezos 2.0
Lesenr1/ocaml
The core OCaml system: compilers, runtime system, base libraries
Lesenr1/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Lesenr1/tezos-packaging
Various forms of Tezos software distribution for Linux.
Lesenr1/coursera-aml-docker
Docker container with Jupyter Environment for Coursera "Advanced Machine Learning" specialization.
Lesenr1/Microbloging
Lesenr1/robomapeur_proto