luisvgs

Systems Engineer. Developer @ Global Resources. Previously: Vikua, Sitio Uno.

Venezuela

Pinned Repositories

conway
Small scripting programming language.
Language:Rust1 1 01
cubika
A functional programming language with dependent types.
Language:Haskell00
dotfiles
My personal configuration files
Language:Lua0 1 01
evidence
A CLI tool for easily tracking and visualizing the latest bugs reported.
Language:Scala2 3 00
jules
Jules is intended to be a statically typed Lisp flavor.
Language:Rust0 1 00
luisvgs.github.io
My personal blog page.
Language:HTML00
martta
A Programming language with Scala inspired syntax and static typechecking
Language:Rust0 1 00
portfolio
My web portfolio.
Language:JavaScript10
ra-updater.sh
Automatically updates rust-analyzer whenever a new version is available (only stable versions).
Language:Shell1 1 00
typeinf
HM Type inference experiments
Language:Rust1 1 00

luisvgs's Repositories

luisvgs/evidence
A CLI tool for easily tracking and visualizing the latest bugs reported.
Language:Scala2 3 00
luisvgs/portfolio
My web portfolio.
Language:JavaScript10
luisvgs/ra-updater.sh
Automatically updates rust-analyzer whenever a new version is available (only stable versions).
Language:Shell1 1 00
luisvgs/bronson
A functional programming language skeleton
Language:Haskell00
luisvgs/cubika
A functional programming language with dependent types.
Language:Haskell00
luisvgs/dotfiles
My personal configuration files
Language:Lua0 1 01
luisvgs/jules
Jules is intended to be a statically typed Lisp flavor.
Language:Rust0 1 00
luisvgs/luisvgs.github.io
My personal blog page.
Language:HTML00
luisvgs/martta
A Programming language with Scala inspired syntax and static typechecking
Language:Rust0 1 00
luisvgs/nocion
A Notion client for pages and databases handling.
Language:Rust0 1 00
luisvgs/nomi
Playing with Scala parser combinators
Language:Scala0 1 00
luisvgs/configs
My configuration files
Language:Vim Script0 0
luisvgs/ec-frontend
Language:JavaScript1 0
luisvgs/ec-java-back
Language:Java
luisvgs/ec-nest-back
Language:TypeScript1 0
luisvgs/ejercicio-particulas
Language:JavaScript
luisvgs/gato-negro-front
Frontend de Gato Negro
Language:TypeScript
luisvgs/hott2022
Exercises from HoTTEST Summer School 2022
Language:Agda1 0
luisvgs/lumina
Skeleton of a small functional (intended) programming language
Language:Scala1 0
luisvgs/Mi-Marquesita
Web Application project for a cake delivery store.
Language:JavaScript
luisvgs/mini-proyecto-curso
Language:JavaScript1 01
luisvgs/ola
Parser combinator playground
Language:OCaml
luisvgs/pure
Early iteration of my own Lisp flavor.
Language:Rust1 0
luisvgs/scroll-practica
Language:JavaScript
luisvgs/skate
Utility for keeping git worktrees up to date.
Language:Shell1 0
luisvgs/strife
Language:Rust1 0
luisvgs/Telepy
Language:Python1 01
luisvgs/testlights
Language:JavaScript1 0
luisvgs/three-playground
Language:JavaScript1 0
luisvgs/three-scrolling