Skip to content
Avatar
🐫
camel in boat
🐫
camel in boat
69 followers · 71 following · 116

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@mirage @mjc-ermont @ocamllabs @overflowgames @tarides @dune-universe @well-typed-lightbulbs
Block or Report

Block or report TheLortex

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. well-typed-lightbulbs/ocaml-esp32 Public

    Native compiler backend for esp32

    OCaml 41

  2. well-typed-lightbulbs/mirage-esp32-samples Public

    Some sample unikernels that run on ESP32 devices.

    OCaml 13 1

  3. math-fehr/WindOS Public

    Experimental Raspberry Pi OS

    C 5

  4. mean-field-inference Public

    Summer work on mean-field inference at EPFL CVLab

    Jupyter Notebook 1

  5. Marc-Ducret/PINT Public

    TypeScript

  6. mjc-ermont/Cookie-Logger Public

    Le DataLogger officiel du projet Cookie

    C++ 1

1,007 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

October 2021

Created 36 commits in 8 repositories
Created 1 repository

Created a pull request in ocaml/opam-repository that received 9 comments

[release] gmp.6.2.1-1

gmp.6.2.1-1 gmp is a small package wrapping the gmp library build system inside the dune build system. It statically builds gmp from source and all…

+28 −0 • 9 comments
Opened 10 other pull requests in 6 repositories
Reviewed 5 pull requests in 2 repositories

Created an issue in ocaml/v3.ocaml.org-server that received 2 comments

SEO: robots.txt, sitemap.xml and noindex

The goal is to control and optimize how the website can be accessed from search engines. There are several methods to achieve that: robots.txt This…

2 comments
Opened 4 other issues in 4 repositories
TheLortex/current-albatross-deployer 1 open
realworldocaml/mdx 1 open
ocaml/v3.ocaml.org-server 1 open
ocurrent/obuilder 1 open
9 contributions in private repositories Oct 2 – Oct 11

Seeing something unexpected? Take a look at the GitHub profile guide.