Lelio-Brun

Pinned Repositories

velus
A Lustre compiler in Coq
Language:Coq56 10 06
Arcticons
A monotone line-based icon pack
Language:Java0 1 00
betterlockscreen
🍀 sweet looking lockscreen for linux system
Language:Shell0 2 00
cfg
Dotfiles: https://www.atlassian.com/git/tutorials/dotfiles
Language:Emacs Lisp0 2 00
lablqml
Interfacing Qt/QML with OCaml. Formely known as lablqt
Language:OCaml0 1 00
learn-ocaml-corpus
A corpus of automatically graded exercises to learn functional programming in OCaml.
Language:OCaml0 1 00
Obelisk
A simple multi-format pretty-printer for Menhir.
Language:OCaml53 7 133
ocaml-effects-tutorial
Concurrent Programming with Effect Handlers (CUFP'17)
Language:OCaml0 1 00
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:OCaml1 2 00

Lelio-Brun's Repositories

Lelio-Brun/Obelisk
A simple multi-format pretty-printer for Menhir.
Language:OCaml53 7 133
Lelio-Brun/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:OCaml1 2 00
Lelio-Brun/Arcticons
A monotone line-based icon pack
Language:Java0 1 00
Lelio-Brun/betterlockscreen
🍀 sweet looking lockscreen for linux system
Language:Shell0 2 00
Lelio-Brun/cfg
Dotfiles: https://www.atlassian.com/git/tutorials/dotfiles
Language:Emacs Lisp0 2 00
Lelio-Brun/lablqml
Interfacing Qt/QML with OCaml. Formely known as lablqt
Language:OCaml0 1 00
Lelio-Brun/learn-ocaml-corpus
A corpus of automatically graded exercises to learn functional programming in OCaml.
Language:OCaml0 1 00
Lelio-Brun/ocaml-effects-tutorial
Concurrent Programming with Effect Handlers (CUFP'17)
Language:OCaml0 1 00
Lelio-Brun/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Language:OCaml0 1 00
Lelio-Brun/prezto
The configuration framework for Zsh
Language:Shell2 0