OCaml - Oxidized!

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

Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

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 modular iOS application to show upcoming and past SpaceX rocket launches.

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.

We use semgrep rules to hunt for bugs in source code. This repository will keep list of rules we have in public

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