luisvgs

Systems Engineer. Master's student @ Universitat Politècnica de València.

Venezuela

Pinned Repositories

andre-tt
Small ML-like language with dependent types and universe herarchy. Inspired by Andrej Bauer's implementation
Language:Haskell1 2 01
conway
Small scripting programming language.
Language:Rust1 1 01
cubika
A functional programming language with dependent types.
Language:Haskell0 1 01
evidence
A CLI tool for easily tracking and visualizing the latest bugs reported.
Language:Scala2 3 01
jules
Jules is intended to be a statically typed Lisp flavor.
Language:Rust0 1 01
luisvgs.github.io
My personal blog page.
Language:HTML1 1 01
martta
A Programming language with Scala inspired syntax and static typechecking
Language:Rust0 1 01
portfolio
My web portfolio.
Language:JavaScript1 1 00
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 01
luisvgs/andre-tt
Small ML-like language with dependent types and universe herarchy. Inspired by Andrej Bauer's implementation
Language:Haskell1 2 01
luisvgs/luisvgs.github.io
My personal blog page.
Language:HTML1 1 01
luisvgs/portfolio
My web portfolio.
Language:JavaScript1 1 00
luisvgs/bronson
A functional programming language skeleton
Language:Haskell0 1 00
luisvgs/cubika
A functional programming language with dependent types.
Language:Haskell0 1 01
luisvgs/jules
Jules is intended to be a statically typed Lisp flavor.
Language:Rust0 1 01
luisvgs/martta
A Programming language with Scala inspired syntax and static typechecking
Language:Rust0 1 01
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:Java1 0
luisvgs/ec-nest-back
Language:TypeScript1 0
luisvgs/ejercicio-particulas
Language:JavaScript1 0
luisvgs/gato-negro-front
Frontend de Gato Negro
Language:TypeScript1 0
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:JavaScript1 1
luisvgs/mini-proyecto-curso
Language:JavaScript1 01
luisvgs/ola
Parser combinator playground
Language:OCaml0 0
luisvgs/pure
Early iteration of my own Lisp flavor.
Language:Rust1 0
luisvgs/scroll-practica
Language:JavaScript
luisvgs/site-one
SiteOne web page.
Language:JavaScript1 0
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
1 0