bernborgess's repositories

lean-cutting-planes

Cutting Planes formal logic modelled in Lean 4 for verified reasoning.

Language:LeanStargazers:2Issues:0Issues:0

AulaPraticaRefactoring

Aula prática sobre refactoring (usando exemplo inicial do Livro do Fowler)

Language:JavaLicense:MITStargazers:1Issues:0Issues:0
Stargazers:1Issues:0Issues:0

css-demos

Learning most CSS features! And goofy!

Language:HTMLStargazers:1Issues:1Issues:0

demo-ci

Aula prática sobre servidores de Integração Contínua

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

demo-cypress

Roteiro prático sobre testes end-to-end (testes de front-end) usando o Cypress.

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

desafio01-ts

dio FullStack TypeScript challenge 1

Language:TypeScriptStargazers:1Issues:0Issues:0
Language:HTMLStargazers:1Issues:0Issues:0

esmforum

Nova versão do ESM Forum - Sistema minimalista de demonstração do livro Engenharia de Software Moderna

Language:JavaScriptLicense:MITStargazers:1Issues:0Issues:0
Language:HaskellStargazers:1Issues:0Issues:0

lingo

Sistema educacional interativo desenvolvido especificamente para a disciplina de "Teste de Software" da UFMG

Language:TypeScriptStargazers:1Issues:0Issues:0
Language:TypeScriptStargazers:1Issues:0Issues:0

micro-livraria

Exemplo prático de uma pequena livraria virtual implementada usando microsserviços. Inclui também duas tarefas práticas para os alunos.

Language:JavaScriptLicense:MITStargazers:1Issues:0Issues:0
Language:TypeScriptStargazers:1Issues:0Issues:0

lean-smt

Tactics for discharging Lean goals into SMT solvers.

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

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.

License:GPL-3.0Stargazers:0Issues:0Issues:0

codecrafters-http-server-haskell

Build your own HTTP server using Haskell

Language:HaskellStargazers:0Issues:0Issues:0

flask

The Python micro framework for building web applications.

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0

GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:AssemblyStargazers:0Issues:0Issues:0
Language:TypeScriptStargazers:0Issues:0Issues:0

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 🇩🇪

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

stalin-sort

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

tutorials4

Lean 4 tutorial files

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

xv6-riscv

Xv6 for RISC-V

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0