8000 Drup (Drup) / Repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Drup's full-sized avatar

Organizations

@mirage @ocsigen @termite-analyser @ocaml-community

Block or report Drup

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
  • peahell Public

    L'enfer des pois

    OCaml 7 Other Updated Apr 29, 2025
  • dowsing Public

    ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression

    OCaml 34 4 ISC License Updated Feb 18, 2025
  • furl Public

    Formatted url

    OCaml 49 3 MIT License Updated Jan 20, 2025
  • ocaml-lmdb Public

    Ocaml bindings for lmdb.

    OCaml 47 3 MIT License Updated Jan 18, 2025
  • cap-lab24 Public

    Python 2 2 GNU General Public License v3.0 Updated Dec 16, 2024
  • CSS Updated Jan 11, 2024
  • cap-lab23 Public archive

    Student git for 2023-24 (CAP, ENS de Lyon, France)

    Python 1 GNU General Public License v3.0 Updated Dec 18, 2023
  • ocaml Public

    Forked from ocaml/ocaml

    Read-only mirror of INRIA SVN

    Updated Nov 24, 2023
  • Package descriptions for OPAM

    Shell 1 Creative Commons Zero v1.0 Universal Updated Sep 29, 2023
  • bytepdf Public

    A tool to create PDFs that are also OCaml bytecodes

    OCaml 41 Updated Sep 19, 2023
  • cap-lab22 Public archive

    Student git for 2022-23 (CAP, ENS de Lyon, France)

    Python 4 2 GNU General Public License v3.0 Updated Dec 14, 2022
  • modulectomy Public

    Dissect OCaml compiled programs, and weight their content

    OCaml 25 1 Updated Nov 2, 2022
  • zarith-ppx Public

    Literals for Zarith's arbitrary-precision integers and rationals

    OCaml 12 2 ISC License Updated Aug 18, 2022
  • OCaml 3 ISC License Updated Apr 11, 2022
  • tree_layout Public

    Algorithms to layout trees in a pretty manner.

    OCaml 36 ISC License Updated Mar 7, 2022
  • adtr Public

    OCaml 9 ISC License Updated Jan 14, 2022
  • cap-labs21 Public archive

    Student git for 2021-22 (CAP, ENS de Lyon, France)

    Python 2 1 GNU General Public License v3.0 Updated Dec 9, 2021
  • z3 Public

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++ Other Updated Jul 2, 2021
  • TeX 2 1 Updated Jun 4, 2021
  • odoc Public

    Forked from ocaml/odoc

    OCaml documentation generator

    OCaml ISC License Updated May 7, 2021
  • ocp-index Public

    Forked from OCamlPro/ocp-index

    Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.

    OCaml Other Updated Apr 29, 2021
  • mirage Public

    Forked from mirage/mirage

    Cloud programming platform

    OCaml Updated Apr 5, 2021
  • merlin Public

    Forked from ocaml/merlin

    Context sensitive completion for OCaml in Vim and Emacs

    OCaml MIT License Updated Apr 5, 2021
  • ocamldot Public

    Forked from chetmurthy/ocamldot

    Parsing and printing graphviz files in OCaml

    OCaml GNU Lesser General Public License v3.0 Updated Feb 7, 2021
  • timere Public

    Forked from daypack-dev/timere

    Time reasoning/regex-ish library in OCaml

    OCaml MIT License Updated Jan 24, 2021
  • pp Public

    Forked from ocaml-dune/pp

    Pretty printing library

    OCaml MIT License Updated Nov 10, 2020
  • fugit Public

    A small CLI to launch notifications at a given time

    OCaml 13 3 ISC License Updated Sep 9, 2020
  • lwd Public

    Forked from let-def/lwd

    Lightweight document

    OCaml MIT License Updated Aug 28, 2020
  • reason Public

    Forked from reasonml/reason

    Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

    OCaml MIT License Updated Jul 26, 2020
  • JavaScript 12 2 Updated Jul 10, 2020
0