Discover @luisvgs Open Source projects

Luis (@luisvgs)

luisvgs

Stars
9
Global Rank 1,034,169 (Top 36 %)
Followers 21
Following 51
Registered almost 10 years ago
Most used languages

Rust
37.5 %

HTML
12.5 %

Haskell
12.5 %

Shell
12.5 %

Scala
12.5 %

JavaScript
12.5 %
Location 🇻🇪 Venezuela
Country Total Rank 648
Country Ranking

Scala
3

Rust
10

Haskell
13

Shell
58

HTML
374

JavaScript
560

evidence

A CLI tool for easily tracking and visualizing the latest bugs reported.

andre-tt

Small ML-like language with dependent types and universe herarchy. Inspired by Andrej Bauer's implementation

luisvgs.github.io

My personal blog page.

typeinf

HM Type inference experiments

portfolio

My web portfolio.

conway

Small scripting programming language.

ra-updater.sh

Automatically updates rust-analyzer whenever a new version is available (only stable versions).

vimers

A Telegram bot that fetches tips and tweets from @vim_tricks. It is possible to visualize the data from terminal as well if preferred.