LaTeX source for the Z Reference Manual

Community Z Tools (CZT)

Advanced Masking Plugin for OBS

🐸💬 - 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

A GHCi session in LuaTeX

An open-source AI agent that brings the power of Gemini directly into your terminal.

CN separation logic refinement type system for C

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

A 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

Linux kernel source tree

How I start Haskell.

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®.

Media Player Classic

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.