vepoblio

vepoblio's Stars

• owid/covid-19-data

  Data on COVID-19 (coronavirus) cases, deaths, hospitalizations, tests • All countries • Updated daily by Our World in Data

  Language:Python5.7k3.6k

• gavv/gavv.github.io

  Homepage.

  Language:HTML112

• isabelle-utp/Isabelle-SACM

  An implementation of the Structured Assurance Case Meta-model in Isabelle using Isabelle/DOF

  Language:Isabelle3

• modelica/ModelicaSpecification

  Specification of the Modelica Language

  Language:TeX10940

• isabelle-utp/utp-main

  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

  Language:Isabelle3410

• modelica/fmi-standard

  Specification of the Functional Mock-up Interface (FMI)

  Language:C27685

• OpenMDAO/OpenMDAO

  OpenMDAO repository.

  Language:Python572255

• OpenDDS/OpenDDS

  OpenDDS is an open source C++ implementation of the Object Management Group (OMG) Data Distribution Service (DDS). OpenDDS also supports Java bindings through JNI.

  Language:C++1.4k482

• d-case/d-case_editor

  This repository is for D-Case Editor, an assurance case editor. See www.dcase.jp!

  Language:Java101

• ObeoNetwork/BPMN-Designer

  Language:Java4223

• ObeoNetwork/Capella-Extensions

  Collection of plugins adding features to Capella (http://polarsys.org/capella/)

  Language:Java610

• getnikola/nikola

  A static website and blog generator

  Language:Python2.6k456

• analysis-tools-dev/dynamic-analysis

  ⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.

  Language:Markdown958106

• analysis-tools-dev/static-analysis

  ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

  Language:Rust13.5k1.4k

• ligurio/practical-fm

  A gently curated list of companies using verification formal methods in industry

  50638

• lorin/resilience-engineering

  Resilience engineering papers

  3k147

• stanislaw/awesome-safety-critical

  List of resources about programming practices for writing safety-critical software.

  Language:Python1.5k88

• google-deepmind/ai-safety-gridworlds

  This is a suite of reinforcement learning environments illustrating various safety properties of intelligent agents.

  Language:Python611123

• disclose/diodb

  Open-source vulnerability disclosure and bug bounty program database

  Language:Python988321

• dependable-ai/nn-dependability-kit

  Toolbox for software dependability engineering of artificial neural networks

  Language:Jupyter Notebook349

• eclipse-capella/capella

  Open Source Solution for Model-Based Systems Engineering

  Language:Java245100

• JuliaLang/julia

  The Julia Programming Language

  Language:Julia46.1k5.5k

• ForumMagnum/ForumMagnum

  The development repository for LessWrong2 and the EA Forum, based on Vulcan JS

  Language:TypeScript585126

• qbittorrent/qBittorrent

  qBittorrent BitTorrent client

  Language:C++29k4k

• eclipse-openj9/openj9

  Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.

  Language:Java3.3k729

• mir-ror/ltunify

  from https://git.lekensteyn.nl/ltunify.git

  Language:C315

• azuer88/grub-mkconfig_lib-patch

  a simple patch to make update-grub in ubuntu use partition labels instead of UUID

  62

• RMerl/asuswrt-merlin

  Enhanced version of Asus's router firmware (Asuswrt) (legacy code base)

  6.7k1.1k

• tensorflow/tensorflow

  An Open Source Machine Learning Framework for Everyone

  Language:C++187k74.4k

• eclipse-capella/capella-cybersecurity

  Darc Viewpoint (Cybersecurity Assets & Threats Modeling analysis)

  Language:Java1913