Everything you need to build state-of-the-art foundation models, end-to-end.

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 Llama 3.3, DeepSeek-R1, Phi-4, Gemma 2, and other large language 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.

🍰 Desktop utility to download images/videos/music/text from various websites, and more.

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

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

PowerShell for every system!