Skip to content
View daviddwlee84's full-sized avatar
💭
Just wanna be happier
💭
Just wanna be happier
213 followers · 315 following

Sponsoring

@polakowo

Achievements

Achievement: Public SponsorAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Public SponsorAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@pku-nlp-forfun @ReturnTrue-Band

Block or report daviddwlee84

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

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

3 stars written in OCaml
Clear filter

astrada / google-drive-ocamlfuse

FUSE filesystem over Google Drive

OCaml 5,671 355 Updated Jan 17, 2025

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,951 667 Updated Feb 25, 2025

artemkin / git-lfs-server

Git LFS server

OCaml 143 20 Updated Dec 12, 2019

Starred topics

See all starred topics