julioapm
Follow
Stars
Library of formally verified abstract data types in Dafny.
Artemis - Interactive Learning with Automated Feedback
An example of Clean Architecture in Spring. Demo app for Spring 2023
Disciplina de Desenvolvimento de Sistemas Frontends da graduação online na PUCRS
Springboot-3.0-microservices
Rental Property Management Platform with Mobile App
A java project to integrate with an ALPR system
A sample Spring-based application
Sample ASP.NET Core 8.0 reference application, powered by Microsoft, demonstrating a layered application architecture with monolithic deployment model. Download the eBook PDF from docs folder.
Repositório contendo recursos elaborados para o curso PUC/UOL Desenvolvimento Full Stack
Clean Architecture Solution Template: A starting point for Clean Architecture with ASP.NET Core
A learning management system built with Node.js (In progress...)
Little Light is an inventory manager/companion app for Destiny 2 for both iOS and Android. It helps guardians move their gear and track their ingame progress.
Projeto construido durante a Imersão React edição Alurakut da Alura!
A curated set of links to formal methods involving provable code.
A gently curated list of companies using verification formal methods in industry
REST version of the Spring Petclinic sample application
CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)
Here we collect worldwide courses teaching formal methods
🎬 ScreenToGif allows you to record a selected area of your screen, edit and save it as a gif or video.
SCALe (Source Code Analysis Lab) is a static analysis aggregator/correlator which enables a source code analyst to combine static analysis results from multiple tools into one interface, and also p…