Skip to content
View TrAyZeN's full-sized avatar
🦀
I like the crab language
🦀
I like the crab language
54 followers · 96 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@lse @Ledger-Donjon @Crab-Wave @prismocr

Block or report TrAyZeN

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

Lists (3)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.

Starred repositories

7 stars written in OCaml
Clear filter

coq / coq

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,804 643 Updated Oct 1, 2024

mirage / mirage

MirageOS is a library operating system that constructs unikernels

OCaml 2,526 245 Updated Sep 5, 2024

tomprimozic / type-systems

Implementations of various type systems in OCaml.

OCaml 1,533 72 Updated Aug 31, 2015

janestreet / incremental

A library for incremental computations

OCaml 870 60 Updated Sep 26, 2024

AeneasVerif / aeneas

A verification toolchain for Rust programs

OCaml 181 14 Updated Oct 1, 2024

hacspec / hax

A Rust verification tool

OCaml 179 19 Updated Sep 30, 2024

Et7f3 / ocalc

This our S2 project of EPITA

OCaml 9 Updated Jun 7, 2019

Starred topics

See all starred topics