Name: Guilherme Silva
Type: User
Company: Chalmers
I am Guilherme, a computer engineer fascinated with math, theorem provers, type theory, and logic. I like to prove theorems in Agda, Lean, Idris, and KeY. I am doing my PhD at Chalmers University, improving the SoldiKeY theorem prover. And after studying cubical type theory and theorem provers, I decided to create this blog to share my ideas and thoughts.
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-exercises
Exercises of Programming Language Foundations in Agda
agda-linear-algebra
A linear algebra library using agda standard library
agda-nix
Compiling agda from Nix
agda-quotient-types
Slides explaining cubical Agda quotient types
agda-stdlib
The Agda standard library
all-agda
aopa
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
apresentacao-qualificacao
Slides de apresentação de qualificação de mestrado
aps
Analise e Projeto de Sistemas
bazel-playground
Some drafts and tests using Bazel
camera-uottawa
Take a picture and search at Google
cerapp
Project of finding the nearest beer
club
Organization and planning for the Initial Types Club
crypto
Making a copy of bitcoin in python
crypto-agda
Cryptocurrency made in agda
crypto-agda-unified
Crypto Agda in just one file
cs410-21
being the teaching materials and exercises for CS410 in the 2021/22 session
cubical
An experimental library for Cubical Agda
cubical-1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
decrypt
breaking_vigenere
decryptandroid
decript application for android
docker-compose
Trying docker compose image
ed-2017-2
Curso ED Mestrado FGV/EMAp
equality
Creating associativity between equalities
exercism
Exercises of exercism.io
fgv_verao
Criptocurrency charts, data visualization
flakes-testing
Testing disko
flappybird
Flappy Bird made with Unity
frauddetection
Kaggle TalkingData AdTracking Fraud Detection Challenge
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
