This website requires JavaScript.
Explore
Help
Sign In
Repositories
Users
Organizations
Code
Filter
Clear Filter
Archived
Not Archived
Forked
Not Forked
Mirrored
Not Mirrored
Template
Not Template
Private
Public
Sort
Newest
Oldest
Alphabetically
Reverse alphabetically
Recently updated
Least recently updated
Most stars
Fewest stars
Most forks
Fewest forks
Smallest size
Largest size
DanilaFe
/
formal-interview
Agda
0
0
An Agda formalization of some of what we talked about during the Formal interview.
Updated
2024-09-24 18:46:42 -07:00
DanilaFe
/
agda-spa
Agda
0
0
Attempts at formalizing static program analysis techniques in Agda.
Updated
2024-11-16 15:16:08 -08:00