Skip to content
View mfp's full-sized avatar
152 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Block or report mfp

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

  • extprot Public

    extprot: extensible binary protocols for cross-language communication and long-term serialization

    OCaml 209 9 Other Updated Sep 20, 2023

  • sqlgg Public

    Forked from jchavarri/sqlgg

    SQL Guided (code) Generator

    OCaml GNU General Public License v2.0 Updated Mar 10, 2023

  • omake Public

    Forked from ocaml-omake/omake

    The new home of OMake - docs, downloads, mailing list etc. see:

    OCaml GNU General Public License v2.0 Updated Jul 1, 2022

  • lwt Public

    Forked from ocsigen/lwt

    A cooperative threads library for OCaml.

    OCaml Other Updated Feb 5, 2022

  • ocaml-leveldb Public

    OCaml bindings for Google's LevelDB

    OCaml 44 15 Other Updated Dec 14, 2021

  • verifier Public

    GSC verification bug testing

    HTML Updated Apr 8, 2021

  • tsthooks Public

    testhooks

    Updated Mar 23, 2021

  • opam-repository Public

    Forked from ocaml/opam-repository

    Main public package repository for OPAM, the source package manager of OCaml.

    Shell 1 Creative Commons Zero v1.0 Universal Updated Mar 22, 2021

  • oraft Public

    Raft consensus algorithm implementation

    OCaml 32 5 Other Updated May 2, 2020

  • ocaml-statsd-client Public

    Forked from skydeck/ocaml-statsd-client

    Statsd client for OCaml

    OCaml 1 1 Other Updated Apr 24, 2020

  • ocaml-sqlexpr Public

    Minimalistic syntax extension for type-safe, convenient execution of SQL statements.

    OCaml 86 17 Other Updated Jan 20, 2020

  • cryptokit Public

    Forked from xavierleroy/cryptokit

    A library of cryptographic primitives (ciphers, hashes, etc) for OCaml

    OCaml Other Updated Aug 30, 2019

  • camlzip Public

    OCaml lib for easy access to compressed files in ZIP and GZIP format, as well as to Java JAR files.

    OCaml 2 Other Updated Aug 30, 2019

  • rashell Public

    Forked from foretspaisibles/ocaml-rashell

    Resilient replicant Shell Programming Library

    OCaml MIT License Updated Sep 23, 2018

  • mirage-tcpip Public

    Forked from mirage/mirage-tcpip

    TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, ARP, IPv4/6, ICMP, and UDP/TCP support.

    OCaml ISC License Updated Nov 12, 2017

  • eliom Public

    Forked from ocsigen/eliom

    Framework for programming web and mobile applications in OCaml.

    OCaml Other Updated Nov 3, 2017

  • obigstore Public

    obigstore: database with BigTable-like data model atop LevelDB

    OCaml 43 3 Other Updated Sep 26, 2017

  • opam-cross-windows-repos Public

    OPAM repository with packages for the opam-cross-windows OCaml cross-compilation toolchain targeting Windows

    Updated Sep 9, 2017

  • curl-lwt Public

    Non-blocking Curl usage in the Lwt monad.

    OCaml 6 1 Updated Feb 21, 2017

  • ocamlmq Public

    Small footprint, easy to use STOMP message broker designed for task queues and IPC

    OCaml 79 7 Other Updated Feb 13, 2017

  • bootstrap Public

    Forked from twbs/bootstrap

    The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

    JavaScript MIT License Updated Feb 12, 2017

  • Flat-UI Public

    Forked from designmodo/Flat-UI

    Flat UI Free - Design Framework (html/css3/less/js). Flat UI is based on Bootstrap, a comfortable, responsive, and functional framework that simplifies the development of websites.

    CSS Updated Feb 12, 2017

  • Font-Awesome Public

    Forked from FortAwesome/Font-Awesome

    The iconic font and CSS toolkit

    HTML Updated Feb 12, 2017

  • intro.js Public

    Forked from usablica/intro.js

    A better way for new feature introduction and step-by-step users guide for your website and project.

    HTML Other Updated Feb 12, 2017

  • hugo-material-docs Public

    Forked from digitalcraftsman/hugo-material-docs

    Port of Martin Donath's mkdocs-material theme to Hugo

    HTML MIT License Updated Feb 12, 2017

  • ocaml-stomp Public

    STOMP client implementation for OCaml

    OCaml 12 4 MIT License Updated Feb 12, 2017

  • ocsigenserver Public

    Forked from ocsigen/ocsigenserver

    Web server in OCaml.

    OCaml Other Updated Feb 10, 2017

  • eliom_shared_frp_POC Public

    Eliom shared reactive programming meets FRP with dynamism

    OCaml 2 Updated Feb 9, 2017

  • js_of_ocaml Public

    Forked from ocsigen/js_of_ocaml

    Compiler from OCaml to Javascript.

    JavaScript 1 Other Updated Jan 31, 2017

  • ocaml-bcrypt Public

    OCaml bindings for OpenBSD's Blowfish-based adaptive password hashing scheme

    C 7 1 Updated Jun 11, 2016