Giters
Victor Colombo (victorcolombo)

victorcolombo

Geek Repo

26

followers

24

following

38

stars

Location:São Paulo, Brazil

Github PK Tool:Github PK Tool

Victor Colombo's starred repositories

liquidhaskell

Liquid Types For Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:1162Issues:0Issues:0

ethereum-package

A Kurtosis package that deploys a private, portable, and modular Ethereum devnet

Language:StarlarkLicense:MITStargazers:194Issues:0Issues:0

prust

Collection of immutable and persistent data structures written in Rust, inspired by the standard libraries found in Haskell, Closure and OCaml

Language:RustLicense:MITStargazers:17Issues:0Issues:0

LazyVim

Neovim config for the lazy

Language:LuaLicense:Apache-2.0Stargazers:15304Issues:0Issues:0

digger

Digger is an open source IaC orchestration tool. Digger allows you to run IaC in your existing CI pipeline ⚡️

Language:GoLicense:Apache-2.0Stargazers:2794Issues:0Issues:0

ansible-avalanche-collection

🏔 Ansible collection to manage Avalanche nodes, Subnets and blockchains

Language:YAMLLicense:BSD-3-ClauseStargazers:14Issues:0Issues:0

AutoGPT

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Language:PythonLicense:MITStargazers:163600Issues:0Issues:0

sourcegraph

Code AI platform with Code Search & Cody

Language:GoLicense:NOASSERTIONStargazers:9877Issues:0Issues:0

autogpt-package

It's like Auto-GPT met Brew. The easiest and fastest way to get started with AutoGPT with any backend of your choice & whatever plugins you may need

Language:StarlarkLicense:MITStargazers:153Issues:0Issues:0

starlark

Starlark Language

Language:StarlarkLicense:Apache-2.0Stargazers:2361Issues:0Issues:0

gitpod

The developer platform for on-demand cloud development environments to create software faster and more securely.

Language:GoLicense:AGPL-3.0Stargazers:12498Issues:0Issues:0

serenity

The Serenity Operating System 🐞

Language:C++License:BSD-2-ClauseStargazers:29468Issues:0Issues:0

cppfront

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

Language:C++License:NOASSERTIONStargazers:5232Issues:0Issues:0

awesome-kurtosis

Official Awesome Kurtosis page. Code examples using Kurtosis

Language:PLpgSQLLicense:MITStargazers:30Issues:0Issues:0

kurtosis

A platform for packaging and launching ephemeral backend stacks with a focus on approachability for the average developer.

Language:GoLicense:Apache-2.0Stargazers:311Issues:0Issues:0

quick-look-plugins

List of useful Quick Look plugins for developers

Stargazers:17885Issues:0Issues:0

gitignore-to-glob

Transforms .gitignore patterns to ones compatible with the glob package (used by Grunt & others)

Language:JavaScriptLicense:MITStargazers:16Issues:0Issues:0

admin-graphql-ide

GraphQL IDE for VTEX Admin (GraphiQL)

Language:TypeScriptStargazers:6Issues:0Issues:0

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Language:TypeScriptLicense:Apache-2.0Stargazers:99014Issues:0Issues:0

octokit.js

The all-batteries-included GitHub SDK for Browsers, Node.js, and Deno.

Language:TypeScriptLicense:MITStargazers:6828Issues:0Issues:0

conjure

Strongly typed HTTP/JSON APIs for browsers and microservices

Language:JavaLicense:Apache-2.0Stargazers:408Issues:0Issues:0

Kap

An open-source screen recorder built with web technology

Language:TypeScriptLicense:MITStargazers:17753Issues:0Issues:0

git-extras

GIT utilities -- repo summary, repl, changelog population, author commit percentages and more

Language:ShellLicense:MITStargazers:16874Issues:0Issues:0

kworkflow

kw is our inglorious kernel developer workflow tool with a simple mission: reduce the overhead with infrastructure setup for Linux development

Language:ShellLicense:GPL-2.0Stargazers:127Issues:0Issues:0

go-cloud

The Go Cloud Development Kit (Go CDK): A library and tools for open cloud development in Go.

Language:GoLicense:Apache-2.0Stargazers:9436Issues:0Issues:0

CFStats

A web app that consumes Codeforces API to display useful stats, comparison between users, etc

Language:RubyLicense:MITStargazers:8Issues:0Issues:0

flow-coverage-report

Generate flow coverage reports in JSON, HTML and in the console.

Language:JavaScriptLicense:MITStargazers:505Issues:0Issues:0

MarvInc

Zachlike with an immersive storyline told through emails.

Language:LuaLicense:GPL-3.0Stargazers:54Issues:0Issues:0

contestwatcher

A telegram bot for checking upcoming contests

Language:JavaScriptLicense:MITStargazers:55Issues:0Issues:0

Numeral-js

A javascript library for formatting and manipulating numbers.

Language:JavaScriptLicense:MITStargazers:9629Issues:0Issues:0