bernborgess's repositories
lean-cutting-planes
Cutting Planes formal logic modelled in Lean 4 for verified reasoning.
AulaPraticaRefactoring
Aula prática sobre refactoring (usando exemplo inicial do Livro do Fowler)
demo-cypress
Roteiro prático sobre testes end-to-end (testes de front-end) usando o Cypress.
desafio01-ts
dio FullStack TypeScript challenge 1
micro-livraria
Exemplo prático de uma pequena livraria virtual implementada usando microsserviços. Inclui também duas tarefas práticas para os alunos.
lean-smt
Tactics for discharging Lean goals into SMT solvers.
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.
codecrafters-http-server-haskell
Build your own HTTP server using Haskell
flask
The Python micro framework for building web applications.
GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
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 🇩🇪
stalin-sort
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
tutorials4
Lean 4 tutorial files
xv6-riscv
Xv6 for RISC-V