Giters
Lélio Brun (Lelio-Brun)

Lelio-Brun

Geek Repo

12

followers

0

following

4

stars

Home Page:www.leliobrun.net

Github PK Tool:Github PK Tool

Organizations
inria-parkas

Lélio Brun's repositories

Obelisk

A simple multi-format pretty-printer for Menhir.

Language:OCamlLicense:MITStargazers:53Issues:7Issues:13

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:OCamlLicense:CC0-1.0Stargazers:1Issues:2Issues:0

Arcticons

A monotone line-based icon pack

Language:JavaLicense:GPL-3.0Stargazers:0Issues:1Issues:0

betterlockscreen

🍀 sweet looking lockscreen for linux system

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

cfg

Dotfiles: https://www.atlassian.com/git/tutorials/dotfiles

Language:Emacs LispStargazers:0Issues:2Issues:0

lablqml

Interfacing Qt/QML with OCaml. Formely known as lablqt

Language:OCamlStargazers:0Issues:1Issues:0

learn-ocaml-corpus

A corpus of automatically graded exercises to learn functional programming in OCaml.

Language:OCamlStargazers:0Issues:1Issues:0

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers (CUFP'17)

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

prezto

The configuration framework for Zsh

Language:ShellLicense:MITStargazers:0Issues:2Issues:0