ErVinuelas

ErVinuelas's Stars

• ventoy/Ventoy

  A new bootable USB solution.

  Language:C63k6582.3k4.1k

• koalaman/shellcheck

  ShellCheck, a static analysis tool for shell scripts

  Language:Haskell36.4k4132.7k1.8k

• penpot/penpot

  Penpot: The open-source design tool for design and code collaboration

  Language:Clojure33.8k2261.6k1.7k

• pbatard/rufus

  The Reliable USB Formatting Utility

  Language:C29.3k5662.4k2.6k

• kovidgoyal/calibre

  The official source code repository for the calibre ebook manager

  Language:Python19.8k38402.3k

• overleaf/overleaf

  A web-based collaborative LaTeX editor

  Language:JavaScript14.1k2111k1.5k

• CaiJimmy/hugo-theme-stack

  Card-style Hugo theme designed for bloggers

  Language:HTML5k224351.7k

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k10310.1k650

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k812.8k262

• math-comp/math-comp

  Mathematical Components

  Language:Coq58733336115

• agda/agda-stdlib

  The Agda standard library

  Language:Agda583291k236

• screensy/screensy

  Simple peer-to-peer screen sharing

  Language:HTML482123947

• haskell/bytestring

  An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

  Language:Haskell29122262141

• JaimeObregon/subvenciones

  Volcado de la Base de Datos Nacional de Subvenciones (BDNS).

  Language:Shell23824654

• marcoeilers/nagini

  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

  Language:Python23361268

• Consensys/eth2.0-dafny

  Eth2.0 spec in Dafny

  Language:Dafny72275014

• dafny-lang/libraries

  Libraries useful for Dafny programs

  Language:Dafny43155625

• xgrommx/coq-ecosystem

  41501

• aws/aws-encryption-sdk-dafny

  AWS Encryption SDK for Dafny

  Language:Dafny34922420

• Coq-Polyhedra/Coq-Polyhedra

  Formalizing convex polyhedra in Coq

  Language:Coq22504

• VERIMAG-Polyhedra/VPL

  Verimag Polyhedra Library

  Language:OCaml175232

• costa-group/forves

  Language:Coq11301

• pi8027/vass

  Language:Coq310

• savicente2109/calcul-ia-dores

  Este repositorio contiene nuestra solución al problema propuesto por Accenture para el Concurso de Modelización de Problemas de Empresa, organizado por la Facultad de Matemáticas de la Universidad Complutense de Madrid, en su edición de 2023. Se trata de un proyecto de clasificación de textos humanos y generados por IA en castellano.

  Language:Jupyter Notebook20

• ayhon/williams-p-1

  Language:HTML110