search

esa / asn1scc

ASN1SCC: An open source ASN.1 compiler for embedded systems
https://www.thanassis.space/asn1.html
Other
272 stars 58 forks source link

verified Scala with Stainless #278

Closed ivonu closed 9 months ago