Skip to content
View taiyoslime's full-sized avatar
37 followers · 16 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@tsg-ut @eeic2020 @zubycz @eeic-ai-01 @ebi-ebi-everyday

Block or report taiyoslime

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Stars

3 stars written in OCaml
Clear filter

facebook / flow

Adds static typing to JavaScript to improve developer productivity and code quality.

OCaml 22,214 1,888 Updated Feb 6, 2026

gfngfn / SATySFi

A statically-typed, functional typesetting system

OCaml 1,239 86 Updated Dec 15, 2025

kuis-isle3sw / IoPLMaterials

Materials for the class "Implementation of Programming Languages" in Kyoto University.

OCaml 168 30 Updated Oct 29, 2025