luisvgs/luisvgs.github.io

Stars
1
Language
HTML
Created over 1 year ago
Updated over 1 year ago

luisvgs/luisvgs.github.io

luisvgs

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

My personal blog page.

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

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.