Diagram-as-code for AWS architecture.

Example of how to use CDK to create a CodePipeline CI/CD pipeline, and how to configure it to deploy resources on different AWS Accounts.

Melange bindings for radix-ui

🥑 Language focused docker images, minus the operating system.

[NeurIPS2025] "AI-Researcher: Autonomous Scientific Innovation" -- A production-ready version: https://novix.science/chat

Generate CloudFormation templates with OCaml

A fast, friendly, functional language.

A multi core friendly rigid body physics and collision detection library. Written in C++. Suitable for games and VR applications. Used by Horizon Forbidden West.

equalizer plugin

a highly automated and intuitive digital audio workstation - official mirror

A static analyzer for Java, C, C++, and Objective-C

Automated diagrams of CDK provisioned infrastructure

The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code

OCaml bindings for AWS APIs, built on eio

Smithy code generator for Kotlin (in development)

An open-source AI agent that brings the power of Gemini directly into your terminal.

OCaml - Oxidized!

Darwin Gödel Machine: Open-Ended Evolution of Self-Improving Agents

Compiler from OCaml to Javascript.

Modern scientific computing for OCaml

A C library for reading and writing sound files containing sampled audio data.

Micro-benchmarking library for OCaml

A tool-agnostic formal specification language for OCaml.

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

A lightweight and colourful test framework

Owl - OCaml Scientific Computing @ https://ocaml.xyz

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