Skip to content
View sureyeaah's full-sized avatar

Block or report sureyeaah

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
7 stars written in OCaml
Clear filter

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

OCaml 4,914 665 Updated Jan 30, 2025

Context sensitive completion for OCaml in Vim and Emacs

OCaml 1,599 235 Updated Jan 13, 2025

Systems language with linear types and capability-based security.

OCaml 1,161 44 Updated Jun 24, 2024

OCaml Language Server Protocol implementation

OCaml 800 124 Updated Jan 30, 2025

A language server for reason, in reason

OCaml 657 84 Updated May 14, 2023

Exercises and projects for Jane Street's OCaml Workshop

OCaml 588 164 Updated Apr 4, 2022

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

OCaml 51 2 Updated Jul 17, 2024
7 stars written in OCaml