Language based on Rewriting Logic

Yet another ActivityPub server implementation written in OCaml

Software Quality Assurance

Scrumdinger App: An iOS app that helps users manage their daily scrums. It uses visual and audio cues and creates a transcript (using Speech Recognition)... Technologies used: Swift & SwiftUI.

The core OCaml system: compilers, runtime system, base libraries

Fluent API generator

A minimal implementation of Hindley-Milner's Algorithm J in OCaml

GitHub Action for the OCaml programming language

Convert OCaml Types between different major versions

Meta-preprocessor for OCaml

improving stack trace for let monadic

A parser generator for visibly pushdown languages.

🍬 a functional language for building type-safe, scalable, and maintainable applications

A subject reduction proof for binary session types

LexiFi runtime types

An OCaml cross-toolchain for iOS and several useful libraries

A Protobuf Compiler for OCaml

Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form

Example typed PPX

Print OCaml values based on their runtime representation

Forward email from an IMAP account to another account (such as GMail)

IMAP to SMTP forwarder

An IMAP-to-SMTP relay, for tedious email services that don't allow forwarding.

reading email message by IMAP/EXCHANGE protocol, forward(origin message) to another by SMTP protocol / sendmail

Forward mail from gmail IMAP to a callback URL or job worker, simply.

[DEPRECATED] OCaml ctypes bindings to system-specific low-level socket structure and data-types.

A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

TypeScript Lens implementation with property proxy