the ultimate vocal synthesizer - sing, speak, beatbox, and more

All the Voices on One Screen (Twitter, Discord, Threads)

Interpreter and compiler of the λS with dynamic type inference

A server for streaming tweets by emulating browser WebPush.

An Observability Framework for AI Training

Python 3.5+ bindings for OCaml

Haskell bindings to libcmark commonmark parser

GitHub Actions for GitHub Pages 🚀 Deploy static files and publish your site easily. Static-Site-Generators-friendly.

dev tools, env vars, task runner

High performance self-hosted photo and video management solution.

Bring projects, wikis, and teams together with AI. AppFlowy is the AI collaborative workspace where you achieve more without losing control of your data. The leading open source Notion alternative.

An open-source cross-platform alternative to AirDrop

A highly customizable homepage (or startpage / application dashboard) with Docker and service API integrations.

Rust port of the Tamarin Prover

Haskell bindings for MLIR

3D physics engine in Elm

A LLVM-based static analysis framework.

A planet scale, highly available, transactional database built on CRDT technology

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

Faster Verified Explanations for Neural Networks

Human guided generation of Regular Expressions from natural language

MLsem VS Code extension

A visualization grammar.

Open standard for machine learning interoperability

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

The CLI for Jinja2

Maintainable configuration files

A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.

🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.