kit-ty-kate Goto Github PK

exn.st

https://exn.st

ez_file

Library with helpers to manipulate files, read/write their content, search directories, etc.

ez_opam_file

a compatibility library for opam-file-format

feed-filter-example

An OCaml example program that allows you to filter atom feeds entries using Syndic

flambda-backend

The Flambda backend project for OCaml

flambda2-opam

OPAM packages etc. for building with the Flambda 2 compiler

fpath

File paths for OCaml

fstar

Verification system for effectful programs

functoria

A DSL to invoke otherworldly functors

gen_js_api

Easy OCaml bindings for Javascript libraries

general

Rich functionality for built-in and basic OCaml types

genprintlib

github-prs-forwarder

A test purposed script that copies every open PRs from a source repository without bothering people tagged in them

github-public-activity

Shell script that displays the public activity of a github user

graphql-ppx

GraphQL language primitives for ReScript/ReasonML written in ReasonML

grenier

Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)

hacl

:camel::key: OCaml bindings for HACL* elliptic curves

harrop-minml

Origin: https://groups.google.com/forum/#!msg/fa.caml/i6IgSFX8XkY/4khF8z1V7loJ

headache

Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).

herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

hivex

windows registry hive extraction library. PLEASE DO NOT USE GITHUB FOR ISSUES OR PULL REQUESTS. See the website for how to file a bug or contact us. http://libguestfs.org

homebrew-core

🍻 Default formulae for the missing package manager for macOS

http-lwt-client

A HTTP client using HTTP/AF and lwt

incr_dom

A library for building dynamic webapps, using Js_of_ocaml.

incr_dom_interactive

A monad for composing chains of interactive UI elements

incr_dom_partial_render

A library for simplifying rendering of large amounts of data

incr_dom_sexp_form

A library for building forms that allow the user to edit complicated types

inquirer_oc

irmin

Irmin is a distributed database that follows the same design principles as Git

irmin-watcher

Portable implementation of the Irmin Watch API