danielepusceddu

danielepusceddu's Stars

• localsend/localsend

  An open-source cross-platform alternative to AirDrop

  Language:Dart54.8k2681.1k3k

• brunodev85/winlator

  Android application for running Windows applications with Wine and Box86/Box64

  Language:C9.7k2510492

• sb2nov/resume

  Software developer resume in Latex

  Language:TeX5.4k41331.5k

• spicetify/spicetify-themes

  A community-driven collection of themes for customizing Spotify through Spicetify - https://github.com/spicetify/cli

  Language:CSS5.2k565271.3k

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k812.8k264

• kiwibrowser/src.next

  Source-code for Kiwi Next, a Kiwi Browser auto-rebased with latest Chromium

  Language:C++2.3k461.1k302

• jstaf/onedriver

  A native Linux filesystem for Microsoft OneDrive

  Language:Go2k2730595

• gijsdev/ublock-hide-yt-shorts

  uBlock Origin filter list to hide YouTube Shorts

  1.4k272682

• p0n1/epub_to_audiobook

  EPUB to audiobook converter, optimized for Audiobookshelf

  Language:Python1.2k1752123

• google/certificate-transparency

  Auditing for TLS certificates.

  Language:C++870102253282

• proginosko/LeechBlockNG

  LeechBlock NG (Next Generation) for Firefox is a simple productivity tool designed to block those time-wasting sites that can suck the life out of your working day. All you need to do is specify which sites to block and when to block them.

  Language:JavaScript7401036565

• carderne/signal-export

  Export your Signal chats to markdown files with attachments

  Language:Python5161611655

• OpenKH/OpenKh

  Kingdom Hearts libraries, tools, game engine and documentation

  Language:C#3061912783

• plastex/plastex

  plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.

  Language:Python3002319578

• PatrickMassot/leanblueprint

  plasTeX plugin to build formalization blueprints.

  Language:Python17592229

• teorth/pfr

  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

  Language:Lean1397333

• ShadowTheHedgehogHacking/ShdTH-Reloaded

  Shadow the Hedgehog: Reloaded

  Language:Python12419203

• PatrickMassot/verbose-lean4

  Natural language tactics to teach mathematics using Lean 4

  Language:Lean52439

• dwrensha/lean4-maze

  maze game encoded in Lean 4 syntax

  Language:Lean50224

• realgam3/CTFDump

  CTFd Dump - When you want to have an offline copy of a CTF.

  Language:Python474314

• ammkrn/nanoda_lib

  Library implementing type inference/checking functionality based on the Lean theorem prover

  Language:Rust39522

• ammkrn/type_checking_in_lean4

  Type Checking in Lean 4

  Language:JavaScript26316

• KHOmega/KH-PC-and-Linux-Setup

  A repository that helps users setup the Steam and/or Epic Games Store versions the various KINGDOM HEARTS games on Windows, Linux, and Steam Deck.

  2275

• leanprover/lean4checker

  Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.

  Language:Lean181005

• uw-unsat/exoverifier

  Language:C16201

• YaelDillies/LeanAPAP

  Formalisation of the Kelley-Meka bound on Roth numbers

  Language:Lean15206

• leanprover/lean4export

  Plain-text declaration export for Lean 4

  Language:Lean121435

• utensil/LeanBlueprintExample

  Language:Lean5311

• viperproject/program-proofs-gobra

  Examples and exercises from the book Program Proofs translated to Gobra

  5931

• PaulEibensteiner/algolab-2022-solved

  Language:C++1100