767 Open source projects that are alternatives of or similar to Software Quality Wiki

TLA+ language support for Visual Studio Code

Read-only mirror of the Klever Git repository

TLA+ language support for Visual Studio Code

Links to tools by subject

CoreIR Symbolic Analyzer

Awesome Courses

📡 API for chat application for DogeCodes React course

⚛️ Chat application for DogeCodes React course

Concuerror is a stateless model checking tool for Erlang programs.

Intrepyd Model Checker

Kani Rust Verifier

A collection of free courses about programming 📖

Static checker for Java

Experimental Smart Contracts In Plutus.

Test automation tool for Clearing, Settlement and Back-Office Systems

Various files useful for manual testing and test automation etc.

JS Training Course

Verification framework and tool for higher-order Scala programs

HACL*, a formally verified cryptographic library written in F*

SeaHorn Verification Framework

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Dive into Machine Learning with Python Jupyter notebook and scikit-learn! First posted in 2016, maintained as of 2021. Pull requests welcome.

My tools for converting, importing, and processing Kindle, Instapaper, and Safari Books highlights

A PyTorch Library for Reinforcement Learning Research

Learn Plain JavaScript from Top Articles of 2017

Free Python Games

immudb - world’s fastest immutable database, built on a zero trust model

A collections of FREE ebooks

This is a comprehensive ML techniques with python: Define the Problem- Specify Inputs & Outputs- Data Collection- Exploratory data analysis -Data Preprocessing- Model Design- Training- Evaluation

📑Useful resources for developers

A repository for ebooks， including C, C plus plus, Linux Kernel, Compiler, OS, Algorithm, Security, Database, Network, ML and DL

A wiki about ExtendScript features, tricks, workarounds, magic and rainbow unicorns

一个分布式(p2p)云教学/云课堂/直播平台系统CMS，睿易派的开源替代品

📚 The Open Source Education Initiative – a repository with resources for 60+ engineering subjects. Let's make education more open and accessible! 🚀✨

Software Development Kit for the Oxford Robotcar Dataset

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

🚗 A curated list of resources for learning about vehicle security and car hacking.

A repository of readmes, techniques, notes and other materials about how i live code in SuperCollider. A (sorta) companion repository to co34pt_livecode

👋 ML/DL学习笔记（基础+论文）

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

"If You're Going Through Hell, Keep Going" - Winston Churchill 🐢 🐢 🐢

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

INGInious is a secure and automated exercises assessment platform using your own tests, also providing a pluggable interface with your existing LMS.

Cogent Project

Android Developer Roadmap - A complete roadmap to learn Android App Development

Learn JavaScript fundamentals by building your own jQuery equivalent library

The Open Digital Innovation Marketplace

Homepage Theorem Proving in Lean FAQ

Collection of Verification Tasks

DataGene - Identify How Similar TS Datasets Are to One Another (by @firmai)

An FFmpeg and SDL Tutorial.

Examples of Golang compared to Node.js for learning

Repo for https://ziglearn.org content. Get up to speed with Zig quickly.

This project is seen in demos including the Pluralsight course "Vue: Getting Started" to help represent a fundamental app written with Vue. The heroes and villains theme is used throughout the app.

Curso Maestro Python 3 en Udemy (20 horas)

Computational Cognitive Neuroscience, Fourth Edition

Classic Space Invaders game written in JavaScript as a learning exercise.

🌳 A tiny language interpreter implemented purely in TypeScript's type-system

Tensor Network Learning with PyTorch