Built something? We create video reels & spotlights for GitHub projects.Promote your project →

Home / Developers / jtristan

Developer Profile

jtristan

Discovered public repositories for jtristan in the GitHub catalog.

↗

jtristan/CompCert-Toolkit

Public repository.

↗

jtristan/Safecode-SVA-Formalism

Public repository.

↗

jtristan/CompCert-Extensions

Release of code written to experiment with formally verified translation validators for Compcert.

↗

jtristan/ali

Ali: an interface for LLVM that represents LLVM assembly as an OCaml algebraic datatype and allows for analysis and transformations to be implement in OCaml.

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.

Promote your project