Search results

Awesome Formal Verification is a GitHub repository or organization with source code, releases, documentation, or project resources.

Clash Verge Rev

github.com

Clash Verge Rev is a code project with source, releases, documentation, or setup notes.

Vera Crypt

github.com

Vera Crypt is a GitHub repository or organization with source code, releases, documentation, or project resources.

VerbForm

github.com

VerbForm is a GitHub repository or organization with source code, releases, documentation, or project resources.

Vernam

github.com

Vernam is a GitHub repository or organization with source code, releases, documentation, or project resources.

Vert

github.com

Vert is a GitHub repository or organization with source code, releases, documentation, or project resources.

Verus

github.com

Verus is a GitHub repository or organization with source code, releases, documentation, or project resources.

Open-source alternative to Opus Clip, Vidyo.ai, Klap & SubMagic. Turn long-form YouTube videos into viral 9:16 shorts using LLM highlight detection, Whisper transcription, and auto vertical cropping — free, no watermarks, no per-clip credits.

YumCut - free AI video generator to turn a prompt into ready vertical videos for TikTok, Reels and YouTube Shorts. Auto script, scenes, voiceover, subtitles and watermark. Built with Next.js. Local-first pipeline + templates, batch rendering and API hooks for creators and indie makers. Self-hosted, FFmpeg-ready, multi-language output. Low cost fast

Awesome Production Machine Learning

github.com

Curated list of awesome open source libraries to deploy, monitor, version and scale your machine learning.

blade-deepseek

github.com

A DeepSeek-native terminal coding agent in Rust with OS-level sandboxing, persistent goal mode, background tasks, and verification gates.

ChatGLM2-6B

github.com

ChatGLM2-6B is the second-generation version of the open-source bilingual (Chinese-English) chat model ChatGLM-6B.

Cheshire Cat AI

github.com

Web framework to create vertical AI agents. FastAPI based, plugin system inspired to WordPress, admin panel, vector DB included.

Data Driven Code

github.com

Very simple implementation of neural networks for dummies in python without using any libraries, with detailed comments.

data-to-paper

github.com

Data-to-paper: AI-driven research from data to human-verifiable research papers.

A patched version of discord, with bot login & Vencord support

DVC

github.com

Data Version Control - Git for Data & Models - ML Experiments Management.

Native version of Elk, a nimble Mastodon web

A lightweight tool to report on the licenses used by a Go package and its dependencies. Highlight! Versioned external URL to licenses can be found at the same time.

Hyperas

github.com

A very simple wrapper for convenient hyperparameter optimization.

Objective-C version of Google Palette algorithm in Java.A tool to extract the main color of an image.

Javascript version (being developed)

github.com

Open-source project that provides machine-learning models, research, training resources, or evaluation tools.

Keepsake

github.com

Version control for machine learning with support to Amazon S3 and Google Cloud Storage.

lakeFS

github.com

Repeatable, atomic and versioned data lake on top of object storage.