Skip to content
View Harniver's full-sized avatar
13 followers · 1 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Organizations

@olimpiadi-informatica @iio-team

Block or report Harniver

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

selabhvl / unto-ac-coq-formalisation

Forked from fcpp-experiments/coq-formalisation

The formalisation in COQ of the XC language abstracting the FCPP semantics.

Coq 2 Updated Mar 5, 2024

cairomassimo / py2tex

Convert Python to LaTeX pseudocode (algorithmicx)

Python 29 15 Updated Oct 11, 2021

DanySK / Aggregate-Computing-Backend

Forked from LorisCangini/Aggregate-Computing-Backend
Kotlin 1 1 Updated Mar 22, 2023

fcpp / fcpp

C++ library implementing efficiently the Field Calculus

C++ 14 8 Updated Jan 23, 2025