Skip to content
View pelotom's full-sized avatar
263 followers · 11 following
  • Los Angeles, CA

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx3

Organizations

@mui

Block or report pelotom

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

Stars

2 stars written in OCaml
Clear filter

comby-tools / comby

A code rewrite tool for structural search and replace that supports ~every language.

OCaml 2,452 64 Updated May 8, 2024

jozefg / blott

An experimental type checker for a modal dependent type theory.

OCaml 110 2 Updated May 9, 2020