Lesenr1

Pinned Repositories

frap
Formal Reasoning About Programs
Language:Coq677 45 2786
coursera-aml-docker
Docker container with Jupyter Environment for Coursera "Advanced Machine Learning" specialization.
Language:Dockerfile0 1 00
jstz
The JavaScript runtime that powers Tezos 2.0
Language:Rust0 0 00
Microbloging
Language:Java0 2 00
ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml0 0 00
opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell0 0 00
robomapeur_proto
Language:C++0 1 00
tezos-packaging
Various forms of Tezos software distribution for Linux.
Language:Python00
opam-repository
Main public package repository for opam, the source package manager of OCaml.
523 33 1.4k1.1k
bogue
GUI library for ocaml based on SDL2
Language:OCaml190 5 3015

Lesenr1's Repositories

Lesenr1/coursera-aml-docker
Docker container with Jupyter Environment for Coursera "Advanced Machine Learning" specialization.
Language:Dockerfile0 1 00
Lesenr1/jstz
The JavaScript runtime that powers Tezos 2.0
Language:Rust0 0 00
Lesenr1/Microbloging
Language:Java0 2 00
Lesenr1/ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml0 0 00
Lesenr1/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell0 0 00
Lesenr1/robomapeur_proto
Language:C++0 1 00
Lesenr1/tezos-packaging
Various forms of Tezos software distribution for Linux.
Language:Python00