[go: up one dir, main page]
Skip to content
View yjhmelody's full-sized avatar
🐟
sakana
🐟
sakana
120 followers · 166 following
  • The World

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report yjhmelody

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 (12)

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.

Stars

5 stars written in OCaml
Clear filter

ocaml / ocaml

The core OCaml system: compilers, runtime system, base libraries

OCaml 5,471 1,104 Updated Nov 5, 2024

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,848 649 Updated Nov 5, 2024

ocaml / dune

A composable build system for OCaml.

OCaml 1,632 404 Updated Nov 6, 2024

realworldocaml / book

V2 of Real World OCaml

OCaml 1,187 174 Updated Jul 8, 2024

dfinity / motoko

Simple high-level language for writing Internet Computer canisters

OCaml 509 98 Updated Nov 4, 2024