craff Goto Github PK

block_sort

A stable sort which is fast on partially sorted lists

cntlm

Cntlm is an NTLM / NTLM Session Response / NTLMv2 authenticating HTTP proxy intended to help you break free from the chains of Microsoft proprietary world. More info on http://cntlm.sourceforge.net/ website. This version supports SSPI, which allows users with smartcard authentication to use it on Windows boxes (enable it in the configuration)!

cocass

craff.github.io

creative-commons-markdown

Markdown-formatted Creative Commons licenses

eole_linux

finition_linux

gles3

ocaml bindings for gles3

http-cookie

A comprehensive, validating, and standards compliant (RFC 6265 ) HTTP cookie library for OCaml.

http-lwt-client

A HTTP client using HTTP/AF and lwt

hyper

OCaml Web client, composable with Dream [unannounced]

hypersurfaces

A program to compute discretization of smooth hypersurfaces of any dimension and co-dimension

js_of_ocaml

Compiler from OCaml to Javascript.

lambdapi

Minimal implementation of the λΠ-calculus modulo

markup

Error-recovering streaming HTML5 and XML parsers

modalscp

moodle-auth_casattras

A CAS (SSO) authentication module for Moodle that uses releaseed attributes rather than LDAP for user-information.

moodle-connector

nixos

NixOS, a Linux distribution based on the Nix package manager

nixpkgs

Nix Packages collection

normaliser

A normaliser for pure and typed (system F) lambda calculus

nsi-snt

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-ci-scripts

Skeletons for CI scripts

ocaml-imagelib

The imagelib library implements image formats such as PNG or PPM

ocaml-ssl

OCaml SSL bindings.

opam-repository

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

pacomb

A parsing library that compiles grammars to combinators using elimination of left recursion

pg

This repo is the new home of Proof General

phox