mirleft / ocaml-tls

Related projects: ⓘ

• stedolan / crowbar
  Property fuzzing for OCaml
  ☆183Updated last year
• mirleft / ocaml-nocrypto
  OCaml cryptographic library
  ☆112Updated 4 years ago
• mirage / ocaml-git
  Pure OCaml Git format and protocol
  ☆362Updated 2 weeks ago
• mirage / ocaml-solo5
  Freestanding OCaml runtime
  ☆101Updated last month
• backtracking / ocamlgraph
  OCaml graph library
  ☆231Updated last month
• mirage / awa-ssh
  Purely functional SSH library in ocaml.
  ☆104Updated 3 weeks ago
• ocaml-multicore / reagents
  Reagents for multicore OCaml
  ☆126Updated last year
• abbysmal / Canopy
  A git-blogging unikernel written using MirageOS
  ☆120Updated 10 months ago
• Drup / tyre
  Typed Regular Expressions
  ☆171Updated 4 years ago
• mirage / mirage-www
  Website infrastructure and content for mirage.io
  ☆172Updated this week
• ocaml / oasis
  Cabal like system for OCaml
  ☆124Updated 3 years ago
• inhabitedtype / faraday
  Serialization library built for speed and memory efficiency
  ☆134Updated last year
• ocaml-community / sedlex
  An OCaml lexer generator for Unicode
  ☆235Updated this week
• yallop / ocaml-ctypes
  Library for binding to C libraries using pure OCaml
  ☆368Updated last month
• OCamlPro / ocp-indent
  Indentation tool for OCaml, to be used from editors like Emacs and Vim.
  ☆200Updated last month
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆254Updated 2 years ago
• inhabitedtype / ocaml-aws
  Generated OCaml bindings for Amazon Web Services
  ☆141Updated 2 months ago
• c-cube / qcheck
  QuickCheck inspired property-based testing for OCaml.
  ☆345Updated 2 months ago
• ocaml / ocamlunix
  Unix system programming in OCaml book
  ☆285Updated 6 years ago
• ocaml-community / lambda-term
  Terminal manipulation library for OCaml
  ☆209Updated last month
• janestreet / core_kernel
  Jane Street's standard library overlay (kernel)
  ☆219Updated 3 weeks ago
• inhabitedtype / ocaml-webmachine
  A REST toolkit for OCaml
  ☆223Updated 2 years ago
• mransan / ocaml-protoc
  A Protobuf Compiler for OCaml
  ☆179Updated 2 months ago
• cryptosense / ocamllint
  Detect common errors in OCaml code
  ☆68Updated 5 years ago
• mirage / mirage-tcpip
  TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
  ☆339Updated 3 weeks ago
• mirage / mirage-skeleton
  Examples of simple MirageOS apps
  ☆224Updated last week
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆394Updated this week
• c-cube / ocaml-containers
  A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
  ☆484Updated this week
• mirage / ocaml-cstruct
  Map OCaml arrays onto C-like structs
  ☆106Updated last year
• ocaml / Zarith
  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…
  ☆226Updated last week