danielepusceddu

danielepusceddu's Stars

• SpotX-Official/SpotX

  SpotX patcher used for patching the desktop version of Spotify

  Language:PowerShell14.6k129452793

• abraunegg/onedrive

  OneDrive Client for Linux

  Language:D10.3k1081.2k870

• cloudcommunity/Cloud-Free-Tier-Comparison

  Comparing the free tier offers of the major cloud providers like AWS, Azure, GCP, Oracle etc.

  3.9k8921268

• SpotX-Official/SpotX-Bash

  SpotX Mac and Linux adblocker for the Spotify desktop client, in Bash

  Language:Shell2.5k244885

• jozefg/learn-tt

  A collection of resources for learning type theory and type theory adjacent fields.

  2.2k909118

• rafaelmardojai/blanket

  Listen to different sounds

  Language:Python1.4k13163105

• MetaCoq/metacoq

  Metaprogramming, verified meta-theory and implementation of Coq in Coq

  Language:Coq3971715683

• paulc/dnslib

  A Python library to encode/decode DNS wire-format packets

  Language:Python308173984

• ImperialCollegeLondon/formalising-mathematics

  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

  Language:Lean30411022

• leanprover-community/mathematics_in_lean

  The user home repository for the Mathematics in Lean tutorial.

  Language:HTML287140199

• leanprover-community/aesop

  White-box automation for Lean 4

  Language:Lean21996427

• coq-community/math-classes

  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

  Language:Coq162163443

• AU-COBRA/ConCert

  A framework for smart contract verification in Coq

  Language:Coq114112619

• 0xToshii/mr-steal-yo-crypto-ctf

  Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)

  Language:Solidity932020

• leanprover/doc-gen4

  Document Generator for Lean 4

  Language:Lean69128542

• risc0/risc0-lean4

  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover

  Language:Lean602104

• simon-hrabec/Algolab-2020

  Solutions for problems given in ETH course Algorithms Lab in Fall 2020

  Language:C++59328

• FlaareZero/Kingdom_Hearts_Collection_Linux

  A simple repository that contains an how-to for playing the whole Kingdom Hearts Collection on Linux

  517185

• ImperialCollegeLondon/formalising-mathematics-2023

  repository for material for Jan-Mar 2023 course on formalising mathematics

  Language:Lean485018

• dsparber/algolab

  My solutions for the ETH Algorithms Lab 2020

  Language:C++37009

• SReichelt/slate

  The Slate Interactive Theorem Prover

  Language:TypeScript232862

• lucidBrot/algolab-tutorial

  How to use boost, CGAL, and ideas for solving the Algolab lecture exercises

  17202

• haeggee/algolab

  Algorithms Lab @ ETH Zurich, Fall 21

  Language:C++16103

• gebner/m17n-lean

  System-wide Lean input method

  Language:Python12310

• EvilBabyDemon/VVZ_extension

  Browser extension for VVZ (ETHZ)

  Language:JavaScript10112

• timothelaborie/better_mystudies

  A Chrome extension to improve ETHZ websites

  Language:JavaScript8200

• SReichelt/slate2

  Beginnings of reimplementation of slate-prover

  Language:Rust3100

• andreakiro/eth-algolab-2021

  Solutions for problems of the ETHZ Algorithms Lab course 2021/22.

  Language:C++2200

• gxenia/pythonCC

  Here there are my solutions to the problems of the cyberchallenge

  Language:Python1200

• petitnau/mev-finder

  Language:Haskell1100