Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–17 of 17 · Most stars

Tracking ECMAScript Proposals

  • proposal
  • ecmascript
  • javascript
  • spec

ECMAScript/JavaScript engine in pure Go

  • javascript
  • golang

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

A mysqldump anonymizer

  • mysqldump
  • anonymizer
  • database-anonymizer
  • rgpd

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

  • aadl
  • ada