Skip to content
@cryptosense

Cryptosense

Automated analysis for cryptographic systems

Pinned Loading

  1. pkcs11 pkcs11 Public

    OCaml bindings for the PKCS#11 cryptographic API

    OCaml 23 7

  2. key-parsers key-parsers Public

    OCaml parsers for multiple key formats

    OCaml 15 7

  3. ocamllint ocamllint Public archive

    Detect common errors in OCaml code

    OCaml 68 3

  4. ocaml-zxcvbn ocaml-zxcvbn Public

    Ocaml bindings for the zxcvbn password strength estimation library

    OCaml 15 1

  5. diffie-hellman-groups diffie-hellman-groups Public

    List of common Diffie-Hellman groups

    Python 11

  6. streamcat streamcat Public

    Encode and decode concatenated objects as streams

    Python 2 1

Repositories

Showing 10 of 32 repositories
  • api-client Public

    Cryptosense Analyzer API client

    cryptosense/api-client’s past year of commit activity
    OCaml 4 BSD-2-Clause 3 1 1 Updated Apr 16, 2024
  • dotnet-collector Public

    Data Collector and Test Suite for CLR Profilers

    cryptosense/dotnet-collector’s past year of commit activity
    C# 1 0 0 0 Updated Feb 16, 2024
  • trace-uploader Public

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

    cryptosense/trace-uploader’s past year of commit activity
    Python 1 1 0 0 Updated Nov 13, 2023
  • records Public

    Dynamic records in OCaml

    cryptosense/records’s past year of commit activity
    OCaml 26 BSD-2-Clause 6 1 0 Updated Apr 28, 2023
  • ocaml-mock Public

    Configurable functions to test impure code

    cryptosense/ocaml-mock’s past year of commit activity
    OCaml 8 BSD-2-Clause 1 0 0 Updated Feb 24, 2023
  • pkcs11 Public

    OCaml bindings for the PKCS#11 cryptographic API

    cryptosense/pkcs11’s past year of commit activity
    OCaml 23 BSD-2-Clause 7 5 1 Updated Feb 11, 2023
  • ppx_factory Public

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

    cryptosense/ppx_factory’s past year of commit activity
    OCaml 13 BSD-2-Clause 1 1 0 Updated Feb 10, 2023
  • key-parsers Public

    OCaml parsers for multiple key formats

    cryptosense/key-parsers’s past year of commit activity
    OCaml 15 BSD-2-Clause 7 0 1 Updated Dec 8, 2022
  • opam-repository Public Forked from ocaml/opam-repository

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

    cryptosense/opam-repository’s past year of commit activity
    Shell 0 CC0-1.0 1,122 0 0 Updated Dec 8, 2022
  • devsecops-demo Public
    cryptosense/devsecops-demo’s past year of commit activity
    Java 0 Apache-2.0 0 0 0 Updated Jul 1, 2022
View all repositories

Most used topics

Loading…