Cryptosense (cryptosense)

Cryptosense

cryptosense

Geek Repo

Automated analysis for cryptographic systems

Location:Paris

Home Page:https://cryptosense.com/

Github PK Tool:Github PK Tool

Cryptosense's repositories

ocamllint

Detect common errors in OCaml code

Language:OCamlLicense:BSD-2-ClauseStargazers:68Issues:14Issues:15

records

Dynamic records in OCaml

Language:OCamlLicense:BSD-2-ClauseStargazers:26Issues:6Issues:15

pkcs11

OCaml bindings for the PKCS#11 cryptographic API

Language:OCamlLicense:BSD-2-ClauseStargazers:23Issues:7Issues:22

enumerators

Finite lazy enumerators in OCaml

Language:OCamlLicense:BSD-2-ClauseStargazers:22Issues:6Issues:3

multipart-form-data

multipart/form-data (RFC2388) parser for OCaml

Language:OCamlLicense:BSD-2-ClauseStargazers:19Issues:6Issues:6

key-parsers

OCaml parsers for multiple key formats

Language:OCamlLicense:BSD-2-ClauseStargazers:15Issues:6Issues:5

ocaml-zxcvbn

Ocaml bindings for the zxcvbn password strength estimation library

Language:OCamlLicense:NOASSERTIONStargazers:15Issues:4Issues:1

ppx_enum

OCaml preprocessor to derive enum-like behaviour from simple variants

Language:OCamlLicense:BSD-2-ClauseStargazers:14Issues:3Issues:1

ppx_factory

OCaml preprocessor to derive factory methods and default values from type definitions

Language:OCamlLicense:BSD-2-ClauseStargazers:13Issues:6Issues:6

terminal_size

Get the size of the attached terminal in OCaml

Language:CLicense:BSD-2-ClauseStargazers:12Issues:4Issues:1

diffie-hellman-groups

List of common Diffie-Hellman groups

Language:PythonLicense:BSD-2-ClauseStargazers:11Issues:8Issues:0

ocaml-mock

Configurable functions to test impure code

Language:OCamlLicense:BSD-2-ClauseStargazers:8Issues:4Issues:0

ppx_ulong

A ppx rewriter for integers' Unsigned.ULong literals

Language:OCamlLicense:BSD-2-ClauseStargazers:8Issues:6Issues:0

keytester

Test RSA keys for weak or common factors

Language:HTMLStargazers:6Issues:4Issues:0

ocaml-stitch

Refactoring library for Ocaml

Language:OCamlLicense:BSD-2-ClauseStargazers:5Issues:4Issues:0

api-client

Cryptosense Analyzer API client

Language:OCamlLicense:BSD-2-ClauseStargazers:4Issues:4Issues:3

flask-mixpanel

Mixpanel helpers working with Flask

Language:PythonLicense:BSD-2-ClauseStargazers:3Issues:4Issues:0

streamcat

Encode and decode concatenated objects as streams

Language:PythonLicense:BSD-2-ClauseStargazers:2Issues:4Issues:0

dotnet-collector

Data Collector and Test Suite for CLR Profilers

Language:C#Stargazers:1Issues:3Issues:0

trace-uploader

Python script to upload and analyze traces without any python dependency.

Language:PythonStargazers:1Issues:4Issues:0

camlzip

Reading and writing zip and gzip files from OCaml

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:OCamlStargazers:0Issues:5Issues:0
Language:JavaLicense:Apache-2.0Stargazers:0Issues:4Issues:0

ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ocaml-conduit

Dereference URIs into communication channels for Async or Lwt

Language:OCamlLicense:ISCStargazers:0Issues:2Issues:0

ocaml-ctypes

Library for binding to C libraries using pure OCaml

Language:OCamlLicense:MITStargazers:0Issues:4Issues:0

ocurl

OCaml bindings to libcurl

Language:CLicense:MITStargazers:0Issues:2Issues:0

opam-repository

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

Language:ShellLicense:CC0-1.0Stargazers:0Issues:1Issues:0

ppx_deriving

Type-driven code generation for OCaml >=4.02

Language:OCamlLicense:MITStargazers:0Issues:3Issues:0

ppx_deriving_yojson

A Yojson codec generator for OCaml >= 4.02.

Language:OCamlLicense:MITStargazers:0Issues:3Issues:0