GitHub găzduiește peste 50 de milioane de dezvoltatori care lucrează împreună pentru a găzdui și a revizui codul, pentru a gestiona proiecte și pentru a construi software împreună.

simplă

GitHub este locul în care lumea construiește software

Milioane de dezvoltatori și companii își construiesc, livrează și își întrețin software-ul pe GitHub - cea mai mare și mai avansată platformă de dezvoltare din lume.

Utilizați Git sau verificați cu SVN folosind URL-ul web.

Lucrați rapid cu CLI-ul nostru oficial. Află mai multe.

Lansarea GitHub Desktop

Dacă nu se întâmplă nimic, descărcați GitHub Desktop și încercați din nou.

Lansarea GitHub Desktop

Dacă nu se întâmplă nimic, descărcați GitHub Desktop și încercați din nou.

Lansarea Xcode

Dacă nu se întâmplă nimic, descărcați Xcode și încercați din nou.

Lansarea Visual Studio

Ultimul commit

Statistici Git

Dosare

Nu s-au putut încărca cele mai recente informații de comitere.

README.md

Ocaml Discrete Interval Encoding Trees

Aceasta se bazează pe Perlele funcționale: diete pentru seturile de grăsimi de Martin Erwig.

Despre

O implementare simplă a arborilor de codificare cu intervale discrete

Resurse

Licență

Lansări 4

Pachete 0

Colaboratori 12

Limbi

Nu puteți efectua acțiunea în acest moment.

V-ați conectat cu o altă filă sau fereastră. Reîncărcați pentru a reîmprospăta sesiunea. V-ați deconectat într-o altă filă sau fereastră. Reîncărcați pentru a reîmprospăta sesiunea.