Cryptosense

Automated analysis for cryptographic systems

Paris

Pinned Repositories

diffie-hellman-groups
List of common Diffie-Hellman groups
Language:Python10 8 00
enumerators
Finite lazy enumerators in OCaml
Language:OCaml22 6 31
key-parsers
OCaml parsers for multiple key formats
Language:OCaml15 6 57
multipart-form-data
multipart/form-data (RFC2388) parser for OCaml
Language:OCaml19 6 66
ocaml-zxcvbn
Ocaml bindings for the zxcvbn password strength estimation library
Language:OCaml15 4 11
ocamllint
Detect common errors in OCaml code
Language:OCaml68 14 153
pkcs11
OCaml bindings for the PKCS#11 cryptographic API
Language:OCaml23 8 236
procord
Procord is a portable OCaml library to delegate tasks to other processes.
Language:OCaml26 8 00
records
Dynamic records in OCaml
Language:OCaml27 7 156
streamcat
Encode and decode concatenated objects as streams
Language:Python2 4 01

Cryptosense's Repositories

cryptosense/ocamllint
Detect common errors in OCaml code
Language:OCaml68 14 153
cryptosense/records
Dynamic records in OCaml
Language:OCaml27 7 156
cryptosense/pkcs11
OCaml bindings for the PKCS#11 cryptographic API
Language:OCaml23 8 236
cryptosense/enumerators
Finite lazy enumerators in OCaml
Language:OCaml22 6 31
cryptosense/multipart-form-data
multipart/form-data (RFC2388) parser for OCaml
Language:OCaml19 6 66
cryptosense/key-parsers
OCaml parsers for multiple key formats
Language:OCaml15 6 57
cryptosense/ocaml-zxcvbn
Ocaml bindings for the zxcvbn password strength estimation library
Language:OCaml15 4 11
cryptosense/ppx_enum
OCaml preprocessor to derive enum-like behaviour from simple variants
Language:OCaml14 3 13
cryptosense/ppx_factory
OCaml preprocessor to derive factory methods and default values from type definitions
Language:OCaml14 6 61
cryptosense/terminal_size
Get the size of the attached terminal in OCaml
Language:C12 4 13
cryptosense/diffie-hellman-groups
List of common Diffie-Hellman groups
Language:Python10 8 00
cryptosense/ocaml-mock
Configurable functions to test impure code
Language:OCaml8 4 01
cryptosense/ppx_ulong
A ppx rewriter for integers' Unsigned.ULong literals
Language:OCaml8 6 0
cryptosense/keytester
Test RSA keys for weak or common factors
Language:HTML6 4 0
cryptosense/ocaml-stitch
Refactoring library for Ocaml
Language:OCaml5 3 01
cryptosense/api-client
Cryptosense Analyzer API client
Language:OCaml4 4 33
cryptosense/flask-mixpanel
Mixpanel helpers working with Flask
Language:Python3 4 0
cryptosense/streamcat
Encode and decode concatenated objects as streams
Language:Python2 4 01
cryptosense/dotnet-collector
Data Collector and Test Suite for CLR Profilers
Language:C#1 3 0
cryptosense/trace-uploader
Python script to upload and analyze traces without any python dependency.
Language:Python1 4 01
cryptosense/camlzip
Reading and writing zip and gzip files from OCaml
Language:OCaml2 0
cryptosense/ctypes_issue
Language:OCaml5 0
cryptosense/devsecops-demo
Language:Java4 0
cryptosense/ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
Language:OCaml2 0
cryptosense/ocaml-conduit
Dereference URIs into communication channels for Async or Lwt
Language:OCaml2 0
cryptosense/ocaml-ctypes
Library for binding to C libraries using pure OCaml
Language:OCaml4 0
cryptosense/ocurl
OCaml bindings to libcurl
Language:C2 0
cryptosense/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell1 0
cryptosense/ppx_deriving
Type-driven code generation for OCaml >=4.02
Language:OCaml3 0
cryptosense/ppx_deriving_yojson
A Yojson codec generator for OCaml >= 4.02.
Language:OCaml3 0