Sign in

Repository Index

47,133 repositories indexed

Tag: Programming languages and compilers
Tag
Filters

Filters

Clear all filters

1–15 of 15 · Most stars

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

SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).

Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.

Practical security policy enforcement for Android apps via bytecode rewriting and in-place reference monitor