Skip to content
View fmontesi's full-sized avatar
51 followers · 6 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Organizations

@jolie @choral-lang

Block or report fmontesi

Report abuse

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

Report abuse

Pinned Loading

  1. leanprover/cslib leanprover/cslib Public

    The Lean Computer Science Library (CSLib)

    Lean 213 43

  2. choral-lang/choral choral-lang/choral Public

    A compiler, testing bed, and standard library for the Choral programming language.

    Java 36 9

  3. jolie/jolie jolie/jolie Public

    The Jolie programming language

    Java 551 55