Here are
16 public repositories
matching this topic...
Guide, Roadmap and List of resources for a Software Tester/Quality Assurance/Test Automation Engineer
Updated
Aug 31, 2021
Python
🧊 Типізоване -גчислення
Updated
Mar 20, 2024
OCaml
STLC-related snippets in Agda
write a little simply typed functional language to practice Rust
Updated
Jul 22, 2023
Rust
px is an experimental, typed lambda calculus for _
Updated
Mar 20, 2019
Haskell
❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
Updated
Feb 1, 2021
Haskell
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
An STLC to Forth386 compiler.
Updated
Mar 28, 2019
Rust
Simply Typed Lambda Calculus
Updated
Mar 30, 2021
JavaScript
API & Web Tests. Testing module practical tasks. Internship at Solvd Inc. Bug-tracking systems, SDLC, Carina Framework
Updated
May 17, 2023
Java
STLC(Software Testing Life Cycle)
Updated
Feb 29, 2024
HTML
It contains all the information about the process, activities and tools used in Quality Assurance process
Updated
Jan 28, 2020
Rich Text Format
Theoretical knowledge of software testing and quality assurance
Разработка блок-схемы для визуализации жизненного цикла тестирования ПО в draw.io
this repo contains information about software testing
Manual and Automation Testing (Selenium Java)
Updated
Mar 20, 2024
Java
Improve this page
Add a description, image, and links to the
stlc
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
stlc
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.