Pinned Repositories
diagrams-lib
Diagrams standard library
eliom
Framework for programming web and mobile applications in OCaml.
hexabomb
Bomberman+Splatoon, with hexagons
hexabomb-visu
Visualization client for hexabomb
hnix
IdrisNet2
A proper network library for Idris, now that I know what I'm doing.
js_of_ocaml
Compiler from OCaml to Javascript.
liner
A readline-like library in Rust.
lmdb-rs
Safe Rust bindings for LMDB
lwt
Concurrency in OCaml based on promises.
FlorentBecker's Repositories
FlorentBecker/diagrams-lib
Diagrams standard library
FlorentBecker/eliom
Framework for programming web and mobile applications in OCaml.
FlorentBecker/hexabomb
Bomberman+Splatoon, with hexagons
FlorentBecker/hexabomb-visu
Visualization client for hexabomb
FlorentBecker/hnix
FlorentBecker/IdrisNet2
A proper network library for Idris, now that I know what I'm doing.
FlorentBecker/js_of_ocaml
Compiler from OCaml to Javascript.
FlorentBecker/liner
A readline-like library in Rust.
FlorentBecker/lmdb-rs
Safe Rust bindings for LMDB
FlorentBecker/lwt
Concurrency in OCaml based on promises.
FlorentBecker/netorcai
Network orchestrator for AI games
FlorentBecker/netorcai-client-cpp
C++ version of the netorcai client library
FlorentBecker/netorcai-client-python
Python version of the netorcai client library.
FlorentBecker/nix
Nix, the purely functional package manager
FlorentBecker/nixpkgs
Nix Packages collection
FlorentBecker/ocaml-safepass
OCaml-safepass is a library enabling the safe storage of user passwords, for use in web applications
FlorentBecker/ocsigen-start
Ocsigen-start: an Eliom application skeleton ready to use to build your own application with users, (pre)registration, notifications, etc.
FlorentBecker/petgraph
Graph data structure library for Rust.
FlorentBecker/reactiveData
Functional reactive programming with incremental changes in data structures
FlorentBecker/rfcs
RFCs for changes to Rust
FlorentBecker/rfcs-1
The Nix community RFCs
FlorentBecker/ripgrep
ripgrep recursively searches directories for a regex pattern
FlorentBecker/samplerate
FlorentBecker/singular_Sources
sources for the Singular computer algebra system
FlorentBecker/svg2tikz
An Inkscape extension for exporting SVG paths as TikZ/PGF paths
FlorentBecker/tyxml
OCaml library to build valid HTML5 and SVG trees.