Skip to content
View avsm's full-sized avatar
💭
never gonna git u up, never gona git u down, never gonna turn around and reset u
💭
never gonna git u up, never gona git u down, never gonna turn around and reset u
1.3k followers · 138 following

Sponsoring

@simulot

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx4

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx4

Highlights

Organizations

@mirage @horizon-institute @CTSRD-TESLA @ocaml @ocamllabs @realworldocaml @ocaml-attic @ocaml-bench @ocurrent

Block or report avsm

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

8 stars written in TeX
Clear filter

edwinb / EpiVM

Forked from avsm/EpiVM

Epic - a Supercombinator Compiler

TeX 64 11 Updated Jun 12, 2015

ocaml / ocaml-manual

OBSOLETE, ARCHIVED mirror of the OCaml manual

TeX 16 12 Updated Aug 12, 2023

braibant / articheck

TeX 15 2 Updated Jul 1, 2015

davidchisnall / camtemplate

Template for web pages for the University of Cambridge Computer Lab

TeX 8 5 Updated Jun 9, 2020

tk407 / mocaml

Monadic Concurrency in OCaml

TeX 7 Updated May 15, 2014

protz / chaml

An implementation of a constraint-based type-checker for ML based on “The essence of ML type inference”. This one additionally generates an annotated AST along with extra coercions to generalize va…

TeX 7 1 Updated Feb 4, 2014

samoht / ocaml-bloom-filters

Various algorithms to deal with bloom filters in OCaml

TeX 6 Updated Jun 5, 2019

ocamllabs / cufp-scribe

CUFP scribe notes

TeX 1 Updated Jan 23, 2015