Hundreds of models & providers. One command to find what runs on your hardware.

Easily fine-tune, evaluate and deploy Gemma 4, Qwen3.5, Qwen3.6, gpt-oss, DeepSeek-R1, or any open source LLM / VLM!

Edit, preview and share mermaid charts/diagrams. New implementation of the live editor.

Type in Morse code by repeatedly slamming your laptop shut

🔎 Open source distributed and RESTful search engine.

Cohere Toolkit is a collection of prebuilt components enabling users to quickly build and deploy RAG applications.

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Container runtimes on macOS (and Linux) with minimal setup

Quick Look extension for highlight source code files on macOS 10.15 and later.

Get up and running with Kimi-K2.6, GLM-5.1, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

evitaDB is a specialized database with an easy-to-use API for e-commerce systems. It is a low-latency NoSQL in-memory engine that handles all the complex tasks that e-commerce systems have to deal …

A tool for working with images.

Your self-hosted, globally interconnected microblogging community

ShellCheck, a static analysis tool for shell scripts

static analysis of C/C++ code

PHP Static Analysis Tool - discover bugs in your code without running it!

A command line tool that draw plots on the terminal.

Dafny is a verification-aware programming language

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.

A CLI that writes your git commit messages for you with AI

GitHub’s official command line tool

C Bounded Model Checker

Lightweight Performance Control System

Python script, which is able to download all study materials from data storage placed on VUT FIT WIS

A static analyzer for Java, C, C++, and Objective-C.

Bitwarden infrastructure/backend (API, database, Docker, etc).

Praktické aspekty vývoje software - Project 2 - calculator

PowerShell for every system!