Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with mechanization

A curated list of projects in awesome lists tagged with mechanization .

https://github.com/epfl-systemf/warblre

A Coq Mechanization of ECMAScript 2023 Regexes

coq javascript mechanization regexes regularexpressions test262

Last synced: 10 Oct 2024