Automatically generates TTS dataset using audio and associated text. Make cuts under a custom length. Uses Google Speech to text API to perform diarization and transcription or aeneas to force align text to audio.
Automatically generate faceless YouTube Shorts from trending topics using AI scripts, TTS, and FFmpeg. Fully containerized and one-click deployable
Automates the creation of full-text (sound and text) ebooks in epub/epub3/daisy format, the webserver/client creates smil files to sync audio with text using aeneas and converts daisy ebooks to epub3 ebooks (supporting media overlays).
Comprehensive tutorial series: formal verification of Rust programs using Lean 4 and Aeneas — from arithmetic proofs to a verified multi-agent LLM harness
This repository is purposed to track the changes towards the development of the Accessible Digital Textbook (ADT) in its initial prototype, beta protototype and final versions.
Implementation of SHA3 in Rust, verified in Lean with Aeneas.
Add a description, image, and links to the aeneas topic page so that developers can more easily learn about it.
To associate your repository with the aeneas topic, visit your repo's landing page and select "manage topics."