Skip to content
View Vtec234's full-sized avatar
86 followers · 8 following

Organizations

@compsoc-edinburgh @leanprover @crossbeam-rs @cr0wnctf

Block or report Vtec234

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

7 stars written in OCaml
Clear filter

airbus-seclab / bincat

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

OCaml 1,712 164 Updated Oct 2, 2024

jrh13 / hol-light

The HOL Light theorem prover

OCaml 442 79 Updated Dec 22, 2024

Andromedans / andromeda

A proof assistant for general type theories

OCaml 298 34 Updated Oct 15, 2024

flyspeck / flyspeck

The formal proof of the Kepler conjecture

OCaml 152 6 Updated May 10, 2024

logsem / mitten_preorder

OCaml 27 1 Updated Apr 17, 2023

mir-ikbch / homtrs

OCaml 7 1 Updated May 4, 2021

strub / coqmt

CoqMT

OCaml 3 1 Updated Nov 10, 2014