tiagoad

Tiago's starred repositories

talos

Talos Linux is a modern Linux distribution built for Kubernetes.

Language:GoMPL-2.0610900

CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Language:RustMIT60200

creusot

Creusot helps you prove your code is correct in an automated fashion.

Language:RustLGPL-2.1108600

DALLE2-pytorch

Implementation of DALL-E 2, OpenAI's updated text-to-image synthesis neural network, in Pytorch

Language:PythonMIT1099100

echarts

Apache ECharts is a powerful, interactive charting and data visualization library for browser

Language:TypeScriptApache-2.05982200

nostrum

Elixir Discord Library

Language:ElixirMIT59500

SyncTrayzor

Windows tray utility / filesystem watcher / launcher for Syncthing

Language:C#MIT575500

audio-router

Routes audio from programs to different audio devices.

Language:C++GPL-3.0352500

noise-suppression-for-voice

Noise suppression plugin based on Xiph's RNNoise

Language:C++GPL-3.0465600

pypresence

A complete Discord IPC and Rich Presence wrapper library in Python!

Language:PythonMIT63300

Discord-NP

Last.FM Now Playing info in your Discord status message

Language:PerlMIT4300

poetry-pycharm-plugin

A PyCharm plugin for poetry

Language:KotlinApache-2.018000

telebot

Telebot is a Telegram bot framework in Go.

Language:GoMIT383100

pip-tools

A set of tools to keep your pinned Python dependencies fresh.

Language:PythonBSD-3-Clause763400

tenacity-legacy

THIS REPO IS NOT MAINTAINED ANYMORE. Please see https://codeberg.org/tenacityteam/tenacity for Tenacity, which is maintained.

Language:C++NOASSERTION679500

k3os

Purpose-built OS for Kubernetes, fully managed by Kubernetes.

Language:GoApache-2.0349700

cf-terraforming

A command line utility to facilitate terraforming your existing Cloudflare resources.

Language:GoMPL-2.091800

acid-banger

The Endless Acid Banger

Language:TypeScript117600

helm-openldap

Helm chart of Openldap in High availability with multi-master replication and PhpLdapAdmin and Ltb-Passwd

Language:MustacheApache-2.018400

bigquery-autojob

Automatically load data from Google Cloud Storage files into Big Query tables

Language:TypeScript1100

parquet-go

pure golang library for reading/writing parquet file

Language:GoApache-2.0121600

terashuf

terashuf shuffles multi-terabyte text files using limited memory

Language:C++MIT19900

xxHash

Extremely fast non-cryptographic hash algorithm

Language:CNOASSERTION880700

base2048

Binary encoding optimised for Twitter

Language:JavaScriptMIT83200

Telegram library for the Elixir language

Language:ElixirMIT19500

mhtml2html

Converts MHTML files to a single HTML file using javascript

Language:JavaScriptMIT8700

NoiseTorch

Real-time microphone noise suppression on Linux.

Language:GoNOASSERTION913700

lira

Lira is a declarative domain-specific language designed to be the backbone of financial contracts that can be executed on the blockchain

Language:HaskellMIT2100

bupstash

Easy and efficient encrypted backups.

Language:RustMIT88200

zola

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Language:RustMIT1312400