gallais/generic-syntax
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
AgdaGPL-3.0
Stargazers
- a13ph
- ahmadsalimUniversity of Copenhagen
- AlexKnauth
- AndrasKovacs
- andrewmcveighLondon, UK
- avatar29Amellody.ai
- badly-drawn-wizardsWhirly Labs
- BlaisorbladeBedrock Systems Inc.
- brendanzab@yeslogic
- cbresendiz1
- clayratIMDEA Software
- DIJamner
- dkrustev
- effectfully
- haskellcamargo@Canva
- ichistmeinname@Cap3
- ixaxaar@google
- jonsterlingUniversity of Cambridge
- joom@Bloomberg
- juanbono@lambdaclass
- jvalinsky
- kingconsInvestNext
- L-TChenInstitute of Information Science, Academia Sinica
- manuel
- maxsnewUniversity of Michigan CSE
- mgrabovskyFakta o klimatu
- mrkgnao
- nriouxUniversity of Pennsylvania
- rehno-lindequeCircuitHub
- scott-fleischman
- sdiehlLondon
- takanuva
- themattchan@awakesecurity
- timjb@TNG Technology Consulting GmbH
- tkersey@thisisartium
- wrengrhttps://x.company