Giters
Luís Ribeiro (ilmmr)

ilmmr

Geek Repo

16

followers

25

following

13

stars

Location:Portugal

Home Page:https://lmmr.vercel.app/

Github PK Tool:Github PK Tool

Luís Ribeiro's repositories

.hs

Solving Problems using Haskell.

Language:HaskellStargazers:0Issues:0Issues:0

.tla

Solving problems using TLA+.

Language:TLAStargazers:0Issues:0Issues:0

CocktailDB

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

ilmmr

Stargazers:0Issues:0Issues:0

portfolio

Language:JavaScriptStargazers:0Issues:0Issues:0

Portourgal-App

Language:C#License:MITStargazers:0Issues:0Issues:0

School-File-Manager

Language:CSSLicense:MITStargazers:0Issues:1Issues:0

SelRA

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

svROS

Verification of Observational Determinism in ROS2-based systems using Alloy.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0