rcosta358/README.md

Hello, World!

Hello,+World!" alt="Typing SVG" style="max-width: 100%;" loading="lazy" onerror="this.onerror=null,this.src='/assets/placeholder.svg'">

You can check out my CV here

Pinned Loading

liquid-java/liquidjava liquid-java/liquidjava Public

Refinement type checker for Java with liquid types and typestates - catch bugs at compile time

Java 54 35
aguda-rs aguda-rs Public

Compiler in Rust for the AGUDA Programming Language

Rust
liquid-java/vscode-liquidjava liquid-java/vscode-liquidjava Public

VS Code extension for LiquidJava - real-time refinement type checking with LSP integration

TypeScript 6 1
Programmaters/Sketch.io Programmaters/Sketch.io Public

Sketch.io is an online multiplayer drawing and guessing game!

TypeScript 4
NoteSpaceTeam/NoteSpace NoteSpaceTeam/NoteSpace Public

Multi-platform Web Application for Real-Time Document Collaboration & Sharing

TypeScript 6 1
AdventOfCode AdventOfCode Public

My solutions for the Advent of Code coding puzzles with Python

Python