Skip to content
View rixed's full-sized avatar
  • @securactive
  • Karlsruhe

Organizations

@retired-camels
Block or Report

Block or report rixed

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

22 stars written in OCaml
Clear filter

MirageOS is a library operating system that constructs unikernels

OCaml 2,497 242 Updated Jul 15, 2024

Implementations of various type systems in OCaml.

OCaml 1,521 72 Updated Aug 31, 2015

Compiler from OCaml to Javascript.

OCaml 944 185 Updated Jul 30, 2024

Auto-formatter for OCaml code

OCaml 612 169 Updated Jul 30, 2024

Batteries Included project

OCaml 514 106 Updated May 7, 2024

Declarative terminal graphics for OCaml

OCaml 349 31 Updated Apr 6, 2024

Elm architecture and (V)DOM for OCaml

OCaml 196 13 Updated Jul 16, 2024

a book about ocaml

OCaml 185 19 Updated Apr 24, 2017

Interfacing Qt/QML with OCaml. Formely known as lablqt

OCaml 157 17 Updated Feb 3, 2024

Staged metaprogramming in stock OCaml

OCaml 150 7 Updated Mar 24, 2024

Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.

OCaml 106 23 Updated Dec 7, 2023

A modular sat/smt solver with proof output.

OCaml 96 8 Updated Jan 8, 2024

Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.

OCaml 92 20 Updated Aug 31, 2023

OCaml PPX deriver for reflection

OCaml 48 4 Updated Nov 16, 2022

OCaml wrapper for HDF5

OCaml 31 17 Updated Sep 25, 2023

Data visualization and plotting for OCaml

OCaml 19 1 Updated Nov 28, 2017

Specification compiler to marshal/unmarshal binary protocols in OCaml

OCaml 13 1 Updated Sep 14, 2011

GitHub mirror of the OCaml Subversion repository.

OCaml 6 1 Updated Nov 20, 2012

A library to get infos such as the offset and flags on files opened by another processus

OCaml 5 1 Updated Jan 9, 2014

A pretty interesting pre-processor that uses OCaml

OCaml 5 1 Updated Nov 16, 2014

Reintroduction of the best architecture (MIPS) into the best programming language (OCaml)

OCaml 3 1 Updated Jun 9, 2012

Batteries Included project

OCaml 1 Updated Sep 23, 2023