Pinned Repositories
2020-2-exercicio-revisao-refatoracao
AulaPraticaRefactoring
Aula prática sobre refactoring (usando exemplo inicial do Livro do Fowler)
bernborgess
carcara
css-demos
Learning most CSS features! And goofy!
demo-ci
Aula prática sobre servidores de Integração Contínua
demo-cypress
Roteiro prático sobre testes end-to-end (testes de front-end) usando o Cypress.
desafio01-ts
dio FullStack TypeScript challenge 1
elm-learning
lean-cutting-planes
Cutting Planes formal logic modelled in Lean 4 for verified reasoning.
bernborgess's Repositories
bernborgess/lean-cutting-planes
Cutting Planes formal logic modelled in Lean 4 for verified reasoning.
bernborgess/AulaPraticaRefactoring
Aula prática sobre refactoring (usando exemplo inicial do Livro do Fowler)
bernborgess/bernborgess
bernborgess/css-demos
Learning most CSS features! And goofy!
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/desafio01-ts
dio FullStack TypeScript challenge 1
bernborgess/elm-learning
bernborgess/esmforum
Nova versão do ESM Forum - Sistema minimalista de demonstração do livro Engenharia de Software Moderna
bernborgess/haskell-learning
bernborgess/ijunior-neon
bernborgess/lingo
Sistema educacional interativo desenvolvido especificamente para a disciplina de "Teste de Software" da UFMG
bernborgess/mercury
bernborgess/venus
bernborgess/yesod-whamlet-julius-quasiquotes
bernborgess/carcara
bernborgess/lean-smt
Tactics for discharging Lean goals into SMT solvers.
bernborgess/boca
This is an administration system to held programming contests (e.g. ACM-ICPC, Maratona de Programação da SBC). The main desired features are: portability, concurrency control, multi-site and distributed contests, simple web interface.
bernborgess/codecrafters-http-server-haskell
Build your own HTTP server using Haskell
bernborgess/flask
The Python micro framework for building web applications.
bernborgess/getdo
bernborgess/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
bernborgess/making-an-os-x86
bernborgess/node-jest-cicd
bernborgess/Robo
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
bernborgess/spotify-argocd-config
bernborgess/spotify-model-gen
bernborgess/stalin-sort
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
bernborgess/tutorials4
Lean 4 tutorial files
bernborgess/xv6-riscv
Xv6 for RISC-V