Stars
🐸💬 - a deep learning toolkit for Text-to-Speech, battle-tested in research and production
An awesome browser extension that reads aloud webpage content with one click
Cross platform application for controlling settings of Soundcore headphones. Supports desktop (CLI and GUI) and Android.
VS Code extension providing a tree view of Haskell modules
An open-source AI agent that brings the power of Gemini directly into your terminal.
This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance …
Python tool for converting files and office documents to Markdown.
Video translation and dubbing tool powered by LLMs. The video translator offers 100 language translations and one-click full-process deployment. The video translation output is optimized for platfo…
21 Lessons, Get Started Building with Generative AI
ading2210 / doompdf
Forked from ozkl/doomgenericA port of Doom (1993) that runs inside a PDF file
Flexpilot - Open-Source, Native and a True GitHub Copilot Alternative for VS Code
Zotero plugin to automatically move attachments and link them
Free Introduction to Bash Scripting eBook
Unofficial and untested binary distributions of GHC on Alpine Linux. Multi-arch (linux/amd64, linux/arm64/v8) GHC musl docker images. Please submit Pull Requests to the GitLab repository. Mirror of
Neovim plugin to manage the file system and other tree like structures.
Neovim plugin for creating live-updating-as-you-type previews of LaTeX, markdown, and other files in the viewer of your choice.
A set of AI-enabled effects, generators, and analyzers for Audacity®.
Examples and exercises from Algorithms in C, Parts 1-4: Fundamentals, Data Structures, Sorting, Searching by Robert Sedgewick book
An updated version of the classic "Basic Computer Games" book, with well-written examples in a variety of common MEMORY SAFE, SCRIPTING programming languages. See https://coding-horror.github.io/ba…
Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.
Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.