Török Edwin's repositories
lintcstubs
OCaml C stub static analyzer
ke
Fast implementation of queue in OCaml
mdx
Execute code blocks inside your documentation
metapp
Meta-preprocessor for OCaml
mirage-crypto
Cryptographic primitives for MirageOS
mirage-skeleton
Examples of simple MirageOS apps
mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
ocaml-ci
A CI for OCaml projects
ocaml-hashcons
OCaml hash-consing library
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
ortac
Runtime assertion checking based on Gospel specifications
pandiff
Prose diffs for any document format supported by Pandoc
pandoc
Universal markup converter
polly
OCaml bindings for Linux epoll(2)
quarto-cli
Open-source scientific and technical publishing system built on Pandoc.
ragelib
A library for RAGE to handle parsing and working with pages it generates.
solo5
A sandboxed execution environment for unikernels
xapi-project.github.io
Home of the Xapi-project docs site