Pinned Repositories
infer
A static analyzer for Java, C, C++, and Objective-C
geneweb
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
backtothefutur
Around the 4004 Intel microprocessor
fsindex
Index your filesystem to find duplicates
geneweb
Fork of geneweb/geneweb
httpostfs
Httpostfs is a filesystem for accessing http hosts based on curlftpfs
jsx
A symbolic evaluator for Javascript
ML-LambdaJS
JavaScript semantics, modified
opalang
Opa Application Framework for JavaScript
skdb
SKDB is an embedded SQL database that stays in sync.
mbouaziz's Repositories
mbouaziz/fsindex
Index your filesystem to find duplicates
mbouaziz/jsx
A symbolic evaluator for Javascript
mbouaziz/backtothefutur
Around the 4004 Intel microprocessor
mbouaziz/geneweb
Fork of geneweb/geneweb
mbouaziz/ML-LambdaJS
JavaScript semantics, modified
mbouaziz/httpostfs
Httpostfs is a filesystem for accessing http hosts based on curlftpfs
mbouaziz/merlin
Context sensitive completion for OCaml in Vim and Emacs
mbouaziz/opalang
Opa Application Framework for JavaScript
mbouaziz/opam-repository
Buffer before integration
mbouaziz/phpbash
PHP-based command-line prompt, perfect for shared web hosting
mbouaziz/skdb
SKDB is an embedded SQL database that stays in sync.
mbouaziz/xcurlftpfs
A FTP filesystem based on cURL and FUSE with options to use httpostfs features
mbouaziz/base
Standard library for OCaml
mbouaziz/bisect_ppx
Code coverage for OCaml and Reason
mbouaziz/clangml
OCaml bindings for clang
mbouaziz/ocaml
[FORK FOR CONTRIBUTING] The core OCaml system: compilers, runtime system, base libraries
mbouaziz/ocaml-tree-sitter-semgrep
Generate parsers from tree-sitter grammars extended to support Semgrep patterns
mbouaziz/ocamlformat
Auto-formatter for OCaml code
mbouaziz/wiki.tezos.com
mbouaziz/www
Website