@art-w
github

art-w

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    492
  • Global Rank 58,631 (Top 3 %)
  • Followers 104
  • Registered over 11 years ago
  • Most used languages
    OCaml
         92.9 %
    C
         7.1 %

Top repositories

1

deque

Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
OCaml
104
star
2

sherlocode

Realtime grep for OCaml/Coq sources available on opam
OCaml
78
star
3

sherlodoc

Fuzzy type search for OCaml documentation
OCaml
69
star
4

unicorn

Purely functional GUI algebra
OCaml
69
star
5

gamelle

2d game engine for OCaml
OCaml
44
star
6

varray

Resizable arrays with O(แตโˆšN) insertion and deletion (Tiered Vectors)
OCaml
32
star
7

mcavl

Lock-free Sets and Maps for OCaml multicore
OCaml
31
star
8

babiseat

add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs
OCaml
16
star
9

ocaml-webdriver

Web browser remote control
OCaml
13
star
10

prettree

Pretty tree layout with an applicative functor
OCaml
12
star
11

granular_marshal

OCaml
8
star
12

rmq

Range Minimum Query algorithms
OCaml
8
star
13

ppx_shared

Interleaved client/server code extraction
OCaml
6
star
14

so_perform_segfault

C
1
star