A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…

Git implementation for plan 9

OCaml - Oxidized!

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

A memory safe implementation of sudo and su.

A friendly programming language from the future

A collection of modern/faster/saner alternatives to common unix commands.

The Flix Programming Language

Datalog with support for SMT queries and first-order functional programming

Yet another Yogurt - An AUR Helper written in Go

The OCaml-Canvas library provides a portable Canvas for OCaml

Logging infrastructure for OCaml

Declarative definition of command line interfaces for OCaml

Stdcompat: compatibility module for OCaml standard library

A Java architecture test library, to specify and assert architecture rules in plain Java

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

Java lexer, parser, and pretty-printer written in OCaml

Lua Virtual Reality Framework

Web browser engineering (a book)

Pong, the operating system version

Auto-update dependency graph in your README.md

⚡ Native, high-performance, cross-platform desktop apps - built with Reason!

A composable build system for OCaml.

Auto-formatter for OCaml code

An incremental parsing system for programming tools

Streamlining the release of dune packages to opam

V2 of Real World OCaml

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.