Frédéric Bour (@let-def)
github

let-def

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,059
  • Global Rank 28,932 (Top 1.0 %)
  • Followers 287
  • Following 8
  • Registered about 13 years ago
  • Most used languages
    OCaml
         74.4 %
    C
         16.3 %
    Python
         4.7 %
    Coq     2.3 %
    JavaScript
         2.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 8,333
  • Country Ranking
    OCaml
         9
    Coq     227
    C
         2,443

Top repositories

1

hotcaml

Hotcaml: an interpreter with watching and reloading
OCaml
136
star
2

lwd

Lightweight document
OCaml
117
star
3

insydious

Unlock 10 digits BIOS passwords
OCaml
100
star
4

wall

(mirror) A vector graphics renderer like NanoVG in OCaml
OCaml
75
star
5

grenier

Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)
OCaml
62
star
6

cuite

(mirror) OCaml bindings to Qt toolkit.
OCaml
62
star
7

goo

Cross-runtime object interface generation
OCaml
36
star
8

owee

OCaml library to work with DWARF format
OCaml
33
star
9

ocamp

Reactive programming… in the shell
OCaml
30
star
10

ocp-indent-vim

Integration of ocp-indent to vim.
Python
28
star
11

merlin-extend

SDK to extend Merlin
OCaml
28
star
12

cmon

A library for printing OCaml values with sharing
OCaml
25
star
13

inuit

Make interactive text-oriented user-interfaces for OCaml
OCaml
23
star
14

sturgeon

A toolkit for communicating with Emacs from OCaml
OCaml
20
star
15

texpresso

TeXpresso: live rendering and error reporting for LaTeX
C
20
star
16

lrgrep

Menhir polishing toolbox, for experienced druids
OCaml
19
star
17

camlroot

A safer C FFI for OCaml
C
18
star
18

distwit

Distribute/marshal instances of ocaml extensible variant types and exceptions
OCaml
17
star
19

stb_truetype

OCaml bindings to stb_truetype, a public domain truetype font rasterizer
C
11
star
20

assimp

Bindings to Assimp, a 3D assets (mesh, material, scenes) importer
OCaml
11
star
21

autoprinter

proof-of-concept to auto-install printer functions in the OCaml toplevel
OCaml
11
star
22

distheap

Heterogeneous heap
OCaml
10
star
23

ibutsu

C
10
star
24

Ztl

Z3 Type Layer: a strongly-typed interface to Z3
OCaml
9
star
25

stb_image

OCaml bindings to stb_image, a public domain image loader
C
9
star
26

pdfmagick

A small tool to split/cut/merge pdf files
OCaml
9
star
27

melodious

Ocsigen powered media player
OCaml
9
star
28

ocaml-introspect

Generic value printer for OCaml (to be used with tagl branch)
OCaml
9
star
29

ttx

Typedtree related tools
OCaml
8
star
30

vimbufsync

Collection of heuristics to help quickly detect modifications in vim buffers
Python
8
star
31

ocaml-recovery-parser

A simple fork of OCaml parser with support for error recovery
OCaml
8
star
32

ppx_xmatch

Mess with the semantics of pattern matching :-)
OCaml
7
star
33

stb_image_write

OCaml bindings to stb_image_write, a public domain image writer
C
7
star
34

strongenv

OCaml
7
star
35

menhir

Unofficial repository. Experimentations around menhir parser generator
OCaml
6
star
36

balanced-trees

Simple implementation of logarithmic balanced trees
OCaml
6
star
37

ocamllex-refill

Experiments around ocamllex
OCaml
4
star
38

colorfilter

A gnome extension to desaturate and filter colors
JavaScript
4
star
39

ocamlilex

A version of OCamllex that lets you access the last observed character in the buffer (useful for incrementalizing a lexer)
OCaml
3
star
40

recel

Pixelart upscaling toolkit
C
2
star
41

timetrail

A small tool to track how your virtual time is spent
OCaml
2
star
42

mulet

OCaml
1
star
43

ml-test

Exploring custom extensions to lambda calculus
Coq
1
star