Pinned Repositories
agda-exercises
Exercises of Programming Language Foundations in Agda
agda-linear-algebra
A linear algebra library using agda standard library
agda-quotient-types
Slides explaining cubical Agda quotient types
Camera-UOttawa
Take a picture and search at Google
crypto
Making a copy of bitcoin in python
crypto-agda
Cryptocurrency made in agda
Equality
Creating associativity between equalities
flappyBird
Flappy Bird made with Unity
guilhermehas.github.io
Guilherme's blog using Hakyll
nixos-guix-vm
VM of Guix on NixOS
guilhermehas's Repositories
guilhermehas/crypto-agda
Cryptocurrency made in agda
guilhermehas/crypto
Making a copy of bitcoin in python
guilhermehas/agda-linear-algebra
A linear algebra library using agda standard library
guilhermehas/agda-quotient-types
Slides explaining cubical Agda quotient types
guilhermehas/Equality
Creating associativity between equalities
guilhermehas/guilhermehas
guilhermehas/guilhermehas.github.io
Guilherme's blog using Hakyll
guilhermehas/nixos-guix
guilhermehas/agda-stdlib
The Agda standard library
guilhermehas/aopa
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
guilhermehas/bazel-playground
Some drafts and tests using Bazel
guilhermehas/Club
Organization and planning for the Initial Types Club
guilhermehas/crypto-agda-unified
Crypto Agda in just one file
guilhermehas/CS410-21
being the teaching materials and exercises for CS410 in the 2021/22 session
guilhermehas/cubical
An experimental library for Cubical Agda
guilhermehas/cubical-1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
guilhermehas/flakes-testing
Testing disko
guilhermehas/gluetn
Normalization for Gödel's system T using a glueing model construction
guilhermehas/HoTTEST-Summer-School
HoTTEST Summer School materials
guilhermehas/langchain-tutorials
Overview and tutorial of the LangChain Library
guilhermehas/lean-experiments
guilhermehas/logrel-mltt
A Logical Relation for Martin-Löf Type Theory in Agda
guilhermehas/makes-test
testing makes
guilhermehas/modal-logics
Agda formalisation of dual-context constructive modal logics.
guilhermehas/nixpkgs
Nix Packages collection
guilhermehas/openai_cartpole
Neuro evolution for open ai problem
guilhermehas/rules_agda
Bazel rules for Agda code
guilhermehas/SimpleTests
Tests to verify the semantics of Solidity
guilhermehas/Solver.agda
A collection of simple verified SAT-solvers
guilhermehas/typing-linear-pi
Typing the linear pi calculus in Agda