Skip to content
@ecstasygg

ecstasy

Pinned Loading

  1. span span Public

    Verified branch-relaxing assembler in Isabelle/HOL with provably minimal bytecode layouts

    Isabelle 19 3

  2. remy remy Public

    Verified pixel compiler for TempleOS in Isabelle/HOL

    Isabelle 9 2

  3. split split Public

    seL4 pager with proven memory isolation and frame reuse

    Isabelle 5

Repositories

Showing 3 of 3 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…