Skip to content
View czipobence's full-sized avatar
4 followers · 4 following
  • Lausanne

Block or report czipobence

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

Showing results

jad-hamza / stainless

Forked from epfl-lara/stainless

Verification framework for higher-order functional programs

HTML 1 1 Updated Dec 14, 2021

epfl-lara / bolts

Bolts: Stainless Verified Scala Examples

Scala 16 12 Updated Sep 6, 2024

flaviotordini / musique

Perfect™ desktop music player

C++ 135 18 Updated Jun 28, 2024

cmus / cmus

Small, fast and powerful console music player for Unix-like operating systems.

C 5,483 467 Updated Aug 12, 2024

Longi94 / Tritan

Java 1 Updated Sep 21, 2017

Longi94 / spicio

Java 2 1 Updated May 20, 2016