8000
Skip to content
View aqjune-aws's full-sized avatar

Block or report aqjune-aws

Block user

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

8000

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

An intermediate verification language

Dafny 24 6 Updated Jan 4, 2026
Lean 151 32 Updated Apr 9, 2026

Line editor, a la rlwrap (but written in OCaml)

OCaml 9 4 Updated Jun 16, 2025

A formalization of ML kernel languages

C 47 12 Updated Mar 26, 2026

The HOL Light theorem prover

OCaml 518 91 Updated Apr 9, 2026

Computations in HOL Light

OCaml 2 1 Updated Nov 8, 2024

AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.

Assembly 738 178 Updated Apr 8, 2026

HOL Light Native

OCaml 2 Updated Oct 19, 2023
OCaml 216 44 Updated Apr 1, 2026
0