harmim

OpenSearch

🔎 Open source distributed and RESTful search engine.

cohere-toolkit

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

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

colima

Container runtimes on macOS (and Linux) with minimal setup

SourceCodeSyntaxHighlight

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

ollama

Get up and running with Llama 3, Mistral, Gemma 2, and other large language models.

AoC-2023

evitaDB

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 with on a daily basis. evitaDB is expected to act as a fast secondary lookup/search index used by front stores.

images

A tool for working with images.

mastodon

Your self-hosted, globally interconnected microblogging community

shellcheck

ShellCheck, a static analysis tool for shell scripts

cppcheck

static analysis of C/C++ code

phpstan

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

YouPlot

A command line tool that draw plots on the terminal.

dafny

Dafny is a verification-aware programming language

cbmc-viewer

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.

aicommits

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

cli

GitHub’s official command line tool

cbmc

C Bounded Model Checker

perun

Lightweight Performance Control System

fit_vut-wis-study-materials-downloader

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

fit_vut-wis-project-dumper

infer

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

Hitomi-Downloader

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

server

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

vut-ivs-project-2

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

PowerShell

PowerShell for every system!

Files

Building the best file manager for Windows

PowerToys

Windows system utilities to maximize productivity

dynamic-analysis

⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.