xvw

theatre

Motion design editor for the web

semgrep

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

ToonCrafter

a research paper for generative cartoon interpolation

wings

Wings3D is an advanced sub-division 3D modeller.

coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

qubes-mirage-firewall

A Mirage firewall VM for QubesOS

Blackprint

A general purpose visual programming. This is the main repository for Blackprint that contains source code of cable, node, and container sketch for visualization.

language-garden

A garden of small programming language implementations 🪴

gamelle

2d game engine for OCaml

lrgrep

Menhir polishing toolbox, for experienced druids

bencode

Bencode (.torrent file format) reader/writer in OCaml

ppx_deriving_router

type safe routing for Dream and Melange

mirage-torrent

WIP

mollymawk

A web interface for albatross

confer

The dotfiles manager

notty-miou

breathalyzer

A simple test framework for Ligo Lang

SoundML

A little and very high level library to perform basic operations on audio files in the OCaml language

climate

A boring command-line parser for OCaml

coinduction

A Coq plugin to help with proofs by coinduction.

mirage-bootvar

Boot parameters for MirageOS

operator-handbook

A handbook for MirageOS unikernel operatos

staged_tpf

Metaprogramming-based deriving

bam

A PBT framework

fred

Federal Reserve Economic Data API Binding

yocaml2-empty-template

A dead simple skeleton for bootstrapping a blog using YOCaml 2

mucppo

µCPPO : a minimal, embeddable subset of CPPO

elmental

Bridge between your Elm and Haskell datatypes without compromise

caliper

smart-contract-wallet