Skip to content
View ValentinAebi's full-sized avatar
5 followers · 11 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Block or report ValentinAebi

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

Pinned Loading

  1. licorne-lang licorne-lang Public

    Licorne is an experimental programming language exploring refinement types and language-based support for lightweight verification

    Scala 6 2

  2. Capybara Capybara Public

    Very experimental symbolic execution engine for JVM bytecode

    Kotlin 1

  3. sudoku-case-study sudoku-case-study Public

    Case study for my MSc thesis: a sudoku solver in Grattlesnake

  4. scala-chemistry-dsl scala-chemistry-dsl Public

    A Scala DSL for stoichiometry

    Scala 1

  5. epfl-systemf/JumboTrace epfl-systemf/JumboTrace Public

    Java 1

  6. LinesCounter LinesCounter Public

    Python script to count the lines of code of each language in a project

    Python