234 Open source projects that are alternatives of or similar to high-assurance-legacy

Intrepyd Model Checker

Frama-C and WP tutorial

Rust-native building blocks for the Cardano blockchain ecosystem

Read-only mirror of the Klever Git repository

www.imandra.ai

High-assurance implementation of the Ouroboros protocol family

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

The Verifiably Safe Reinforcement Learning Framework

Experimental Smart Contracts In Plutus.

PySpark Algorithms Book: https://www.amazon.com/dp/B07X4B2218/ref=sr_1_2

Targeting Flutter apps, the Cardano Wallet SDK is a high-level Dart library for managing cryptocurrency accounts & executing transactions on the blockchain.

Fully proved small C functions (examples for verification course).

Initially started as my own personal lecture notes. Slowly, I'm converting this repo into an extremely detailed set of notes to help future pioneers, Cardano devs and anyone with an academic interest in DLTs and Blockchain Consensus Algorithms.

Distributed, workflow-driven integration environment

Task queue, Long lived workers for work based parallelization, with processes and Redis as back-end. For distributed computing.

Yet another distributed compute framework

An analytical performance modeling tool for deep neural networks.

WRENCH: Cyberinfrastructure Simulation Workbench

Formalization of Tendermint proposer election properties

Algebraic proof discovery in Agda

SANSA Query Layer

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

A script for running TLA+/TLC from the command line

Addresses and mnemonic manipulation & derivations

Simple CLI tool for diagnostics and debugging of Cyphal networks

JSON messaging based socket interface with multi-threaded server and client

MPI Parallel framework for training deep learning models built in Theano

The ledger implementation and specifications of the Cardano blockchain.

Decentralized Computing Backend for Artificial Intelligence, Web3, Metaverse, and Gaming Application

This repository contains the code base for the Open Stream Processing Benchmark.

Tutorials to help you build your first Swim app

Big Data RDF Processing and Analytics Stack built on Apache Spark and Apache Jena http://sansa-stack.github.io/SANSA-Stack/

Unleash the power of cloud

The Distributed Computing library for python implemented using PyCOMPSs programming model for HPC.

A tool for Model Based Testing

An implementation of Rosetta for Cardano

Proto Actor - Ultra fast distributed actors

Build and submit workflows to HTCondor in Python

A core language for rule-based hardware design 🦑

Tokenomia is built for the Cardashift ICO, it aims to simplify the use of Native Tokens and Smart Contracts above the Cardano Platform. Cardashift is a community-driven startup platform that raises funds, builds and accelerates startups that solve social and environmental problems.

A framework called "pinspider" on Apache mesos, to get basic user information from a pinterest page of a user.

Plutus Pioneer Program #2 Cohort

Orleans providers for Azure Cosmos DB

.NET Core framework for inter-service communication

Cardano Stakepool on Raspberry Pi

Hydra Hot Potato Player (game)

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

Dockerized Folding@home client with NVIDIA GPU support to help battle COVID-19

Fleex makes it easy to create multiple VPS on cloud providers and use them to distribute workloads.

A Cardano Developer Guide

An easy-to-use WebUI for crypto plotting and farming. Offers Plotman, MadMax, Chiadog, Bladebit, Farmr, and Forktools in a Docker container. Supports Chia, MMX, Chives, Flax, HDDCoin, and BPX among others.

julia package for running code on slurm clusters

Censorship-resistant trustless protocols for smart contract, generic & high-load computing & machine learning on top of Bitcoin

An MPI-based C++ or Python library for easy distributed pipeline processing

A simple task queue implementation to enqeue jobs on local or remote processes.

A Cardano playground that explores various build/runtime aspects of the project. Something like an incubation space, before we are propose changes upstream. The initial focus is on "container first" for the Cardano node.

📄 The Ambients protocol white paper

An API-first distributed deployment system of deep learning models using timeseries data to predict the behaviour of systems

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

pyABC: distributed, likelihood-free inference