danielecassia's Stars
bernborgess/lean-cutting-planes
Cutting Planes formal logic modelled in Lean 4 for verified reasoning.
leandrocgsi/erudio-microservices-dotnet6
bernborgess/2020-2-exercicio-revisao-refatoracao
bernborgess/css-demos
Learning most CSS features! And goofy!
bernborgess/micro-livraria
Exemplo prático de uma pequena livraria virtual implementada usando microsserviços. Inclui também duas tarefas práticas para os alunos.
bernborgess/AulaPraticaRefactoring
Aula prática sobre refactoring (usando exemplo inicial do Livro do Fowler)
bernborgess/esmforum
Nova versão do ESM Forum - Sistema minimalista de demonstração do livro Engenharia de Software Moderna
bernborgess/demo-ci
Aula prática sobre servidores de Integração Contínua
bernborgess/demo-cypress
Roteiro prático sobre testes end-to-end (testes de front-end) usando o Cypress.
bernborgess/ijunior-neon
bernborgess/elm-learning
bernborgess/desafio01-ts
dio FullStack TypeScript challenge 1
bernborgess/yesod-whamlet-julius-quasiquotes
bernborgess/mercury
bernborgess/venus
bernborgess/bernborgess
bernborgess/haskell-learning
verlab/dcc042-robotica-movel
DCC042 - Robótica Móvel
danielecassia/Combat-for-ALLEGRO
Rereading of the game "Combate" using the C language and the ALLEGRO library
danielecassia/Pulsar_WebSocket
danielecassia/BlockSite
danielecassia/ParentalServer
danielecassia/portfolio
danielecassia/JohnDoRock
danielecassia/danielecassia
rust-br/rust-book-pt-br
A Linguagem de Programação Rust
danielecassia/DiarioPACH
Trabalho do seminário
danielecassia/Course-VueJS2