Lesenr1

Pinned Repositories

coursera-aml-docker
Docker container with Jupyter Environment for Coursera "Advanced Machine Learning" specialization.
Language:Dockerfile00
jstz
The JavaScript runtime that powers Tezos 2.0
Language:Rust00
Microbloging
Language:Java00
ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml00
opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell00
robomapeur_proto
Language:C++00
tezos-packaging
Various forms of Tezos software distribution for Linux.
Language:Python00
frap
Formal Reasoning About Programs
Language:Coq65482
opam-repository
Main public package repository for opam, the source package manager of OCaml.
5161.1k
bogue
GUI library for ocaml based on SDL2
Language:OCaml18115

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.
Language:Shell
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.
Language:Dockerfile
Lesenr1/Microbloging
Language:Java
Lesenr1/robomapeur_proto
Language:C++